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. J. Comput. Syst. Sci., 75(5):271-286, 2009. [doi]

Abstract

Abstract is missing.