Reasoning about XML update constraints

Bogdan Cautis, Serge Abiteboul, Tova Milo. Reasoning about XML update constraints. J. Comput. Syst. Sci., 75(6):336-358, 2009. [doi]

Abstract

Abstract is missing.