Undecidability of the equivalence of finite substitutions on regular languageVesa Halava and Tero HarjuRAIRO-Theor. Inf. Appl., 33 2 (1999) 117-124DOI: https://doi.org/10.1051/ita:1999109
