Typechecking for XML transformers (2000)

by T Milo, D Suciu, V Vianu
Venue:In Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. ACM