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