TY  - RPRT
TI  - On Typechecking Top-Down XML Tranformations: Fixed Input or Output Schemas
AU  - Wim Martens
AU  - Frank Neven
AU  - Marc Gyssens
PY  - 2006
UR  - https://arxiv.org/abs/cs/0606094
ID  - cs/0606094
ER  -