Reasoning about XML update constraints.

Bogdan Cautis, Serge Abiteboul, Tova Milo

Browse the full PODS paper archive.