Vincent Hugot, Adrien Boiret, Joachim Niehren: Equivalence of Symbolic Tree Transducers. DLT 2017: 109-121