@inproceedings{SeidlMK15,
  author = {Helmut Seidl and Sebastian Maneth and Gregor Kemper},
  title = {Equivalence of {D}eterministic {T}op-{D}own {T}ree-to-{S}tring {T}ransducers is {D}ecidable},
  booktitle = {IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015},
  editor = {Venkatesan Guruswami},
  year = 2015,
  pages = {943--962},
  publisher = {IEEE Computer Society},
  doi = {10.1109/FOCS.2015.62},
}