Deciding equivalence of top-down XML transformations in polynomial time.

Joost Engelfriet Sebastian Maneth Helmut Seidl Deciding equivalence of top-down XML transformations in polynomial time. 271-286 2009 75 J. Comput. Syst. Sci. 5 http://dx.doi.org/10.1016/j.jcss.2009.01.001 db/journals/jcss/jcss75.html#EngelfrietMS09