Typechecking for XML transformers (0)

by T Milo, D Suciu, V Vianu
Venue:Journal of Computer and System Sciences