Frontiers of Tractability for Typechecking Simple XML Transformations.

Wim Martens, Frank Neven

Browse the full PODS paper archive.