Typechecking Top-Down XML Transformations: Fixed Input or Output Schemas

Information and Computation - United States
doi 10.1016/j.ic.2008.01.002