On the Decidability of the Equivalence Problem for Monadic Recursive ProgramsVladimir A. ZakharovRAIRO-Theor. Inf. Appl., 34 2 (2000) 157-171DOI: https://doi.org/10.1051/ita:2000112
