@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},
}