Joost Engelfriet, Sebastian Maneth, Helmut Seidl. Deciding equivalence of top-down XML transformations in polynomial time. J. Comput. Syst. Sci., 75(5):271-286, 2009. [doi]
@article{EngelfrietMS09,
title = {Deciding equivalence of top-down XML transformations in polynomial time},
author = {Joost Engelfriet and Sebastian Maneth and Helmut Seidl},
year = {2009},
doi = {10.1016/j.jcss.2009.01.001},
url = {http://dx.doi.org/10.1016/j.jcss.2009.01.001},
tags = {XML, XML Schema, transformation},
researchr = {https://researchr.org/publication/EngelfrietMS09},
cites = {0},
citedby = {0},
journal = {J. Comput. Syst. Sci.},
volume = {75},
number = {5},
pages = {271-286},
}