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