Typechecking for XML transformers (0)

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