Static analysis active XML systems (2008)

by S Abiteboul, L Segoufin, V Vianu
Venue:In PODS