Local Reasoning About Tree Update Venue Electr. Notes Theor. Comput. Sci., vol. 158, pp. 399–424 Publication Year 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