@article{Seidl94Equivalence, author = {Helmut Seidl}, title = {Equivalence of {F}inite-{V}alued {T}ree {T}ransducers {I}s {D}ecidable}, journal = {Mathematical Systems Theory}, year = 1994, pages = {285-346}, volume = {27}, number = {4}, }