Deciding equivalence of top-down XML transformations in polynomial time
scientific article; zbMATH DE number 5562796