@incollection{ManethFS12,
  author = {Sebastian Maneth and Sylvia Friese and Helmut Seidl},
  title = {Type {C}hecking of {T}ree {W}alking {T}ransducers},
  booktitle = {Modern Applications of Automata Theory},
  year = 2012,
  pages = {325--372},
  doi = {10.1142/9789814271059_0011},
}