The solvability of the equivalence problem for deterministic frontier-to-root tree transducers