Bogdan Cautis Serge Abiteboul Tova Milo Reasoning about XML update constraints. 195-204 2007 conf/pods/2007 PODS http://doi.acm.org/10.1145/1265530.1265558 db/conf/pods/pods2007.html#CautisAM07