Andreas Weber. Decomposing Finite-Valued Transducers and Deciding Their Equivalence. SIAM Journal on Computing, 22(1):175-202, 1993.
@article{Weber93:6, title = {Decomposing Finite-Valued Transducers and Deciding Their Equivalence}, author = {Andreas Weber}, year = {1993}, researchr = {https://researchr.org/publication/Weber93%3A6}, cites = {0}, citedby = {0}, journal = {SIAM Journal on Computing}, volume = {22}, number = {1}, pages = {175-202}, }