The decidability of the equivalence problem for polynomially bounded DOL sequencesJuhani KarhumäkiRAIRO. Inform. théor., 11 1 (1977) 17-28DOI: https://doi.org/10.1051/ita/1977110100171
