@inproceedings{Maneth07Deciding, author = {Sebastian Maneth and Helmut Seidl}, title = {Deciding {E}quivalence of {T}op-{D}own {XML} {T}ransformations in {P}olynomial {T}ime}, booktitle = {Programming Language Technologies for XML}, month = {January}, year = 2007, pages = {73-79}, address = {Nice, France}, }