Typechecking for XML transformers

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

Possibly Related Publications

The following publications are possibly variants of this publication: