Typechecking top-down XML transformations: Fixed input or output schemas

Wim Martens, Frank Neven, Marc Gyssens. Typechecking top-down XML transformations: Fixed input or output schemas. Inf. Comput., 206(7):806-827, 2008. [doi]

Abstract

Abstract is missing.