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