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