Serge Abiteboul, Luc Segoufin, Victor Vianu. Static analysis of active XML systems. In Maurizio Lenzerini, Domenico Lembo, editors, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada. pages 221-230, ACM, 2008. [doi]
Abstract is missing.