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