Zachar, Z. 1979. The solvability of the equivalence problem for deterministic frontier-to-root tree transducers. Acta Cybernetica. 4, 2 (Jan. 1979), 167-177.