Karel Culik II, Juhani Karhumäki. The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable. Theoretical Computer Science, 47(3):71-84, 1986.
@article{CulikK86,
title = {The Equivalence of Finite Valued Transducers (On HDT0L Languages) is Decidable},
author = {Karel Culik II and Juhani Karhumäki},
year = {1986},
researchr = {https://researchr.org/publication/CulikK86},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {47},
number = {3},
pages = {71-84},
}