@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},
}