Typechecking for XML transformers

Tova Milo, Dan Suciu, Victor Vianu. Typechecking for XML transformers. J. Comput. Syst. Sci., 66(1):66-97, 2003. [doi]

Abstract

Abstract is missing.