Typechecking for XML transformers, (2003)

by T Milo, D Suciu, V Vianu
Venue:J. Comp. Syst. Sci.