Serge Abiteboul Luc Segoufin Victor Vianu Static analysis of active XML systems. 221-230 2008 PODS http://doi.acm.org/10.1145/1376916.1376948 conf/pods/2008 db/conf/pods/pods2008.html#AbiteboulSV08