Karel Culik II, Juhani Karhumäki. The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable. In Jozef Gruska, Branislav Rovan, Juraj Wiedermann, editors, Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings. Volume 233 of Lecture Notes in Computer Science, pages 264-272, Springer, 1986.
Abstract is missing.