@Inproceedings{EPTCS151.5, author = {Maneth, Sebastian}, year = {2014}, title = {Equivalence Problems for Tree Transducers: A Brief Survey}, editor = {\'Esik, Zolt\'an and F\"ul\"op, Zolt\'an}, booktitle = {{\rm Proceedings 14th International Conference on} Automata and Formal Languages, {\rm Szeged, Hungary, May 27-29, 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {151}, publisher = {Open Publishing Association}, pages = {74-93}, doi = {10.4204/EPTCS.151.5}, }