Modeling and verifying active xml artifacts,” (2009)

by S Abiteboul, L Segoufin, V Vianu
Venue:IEEE Data Eng. Bull.,