The equivalence of finite valued transducers (on HDT0L languages) is decidable
See the review of the preliminary version in Zbl 0618.68069.
generalization of the Ehrenfeucht Conjecture
scientific article; zbMATH DE number 4007743
scientific article