@article{EngelfrietMS16, author = {Joost Engelfriet and Sebastian Maneth and Helmut Seidl}, title = {Look-ahead removal for total deterministic top-down tree transducers}, journal = {Theor. Comput. Sci.}, year = 2016, pages = {18--58}, volume = {616}, doi = {10.1016/j.tcs.2015.12.005}, }