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