Christof Löding, Sarah Winter: Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations. GandALF 2014: 88-101