The Equivalence of Finite Valued Transducers (on HDTOL Languages) is Decidable.

Karel Culk II, Juhani Karhumki

Browse the full MFCS paper archive.