Typechecking for XML transformers (2000)

by Tova Milo, Dan Suciu, Victor Vianu
Venue:In Symposium on Principles of Database Systems