Static analysis of active XML systems (2009)

by S Abiteboul, L Segoufin, V Vianu
Venue:ACM Trans. Database Syst