@inproceedings{Seidl90Equivalence,
  author = {Helmut Seidl},
  title = {Equivalence of {F}inite-{V}alued {B}ottom-up {F}inite {S}tate {T}ree {T}ransducers {I}s {D}ecidable},
  booktitle = {CAAP},
  editor = {Andr\'e Arnold},
  month = {May},
  year = 1990,
  pages = {269-284},
  series = {Lecture Notes in Computer Science},
  volume = {431},
  publisher = {Springer},
  address = {Copenhagen, Denmark},
}