Local Reasoning About Tree Update Venue Electronic Notes in Theoretical Computer Science 2006 Publication date May 2006 Identifiers DOI: doi:10.1016/j.entcs.2006.04.020 Authors Uri Zarfaty Philippa Gardner Source Materials Authors' Preprint/Accepted Version Published Edition BibTeX Citation