Decidability of equivalence for a class of non-deterministic tree transducersYves André and Max DauchetRAIRO-Theor. Inf. Appl., 28 5 (1994) 447-463DOI: https://doi.org/10.1051/ita/1994280504471
