Z. Zachar, “The solvability of the equivalence problem for deterministic frontier-to-root tree transducers”, Acta Cybern, vol. 4, no. 2, pp. 167-177, Jan. 1979.