@Inproceedings{EPTCS161.10, author = {L\"oding, Christof and Winter, Sarah}, year = {2014}, title = {Synthesis of Deterministic Top-down Tree Transducers from Automatic Tree Relations}, editor = {Peron, Adriano and Piazza, Carla}, booktitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {161}, publisher = {Open Publishing Association}, pages = {88-101}, doi = {10.4204/EPTCS.161.10}, }