Minimization of Deterministic Bottom-Up Tree Transducers. - Sylvia Friese; Helmut Seidl; Sebastian Maneth (Developments in Language Theory, 2010)

Earliest Normal Form and Minimization for Bottom-up Tree Transducers. - Sylvia Friese; Helmut Seidl; Sebastian Maneth (Int. J. Found. Comput. Sci., 2011)

On normalization and type checking for tree transducers. - Sylvia Friese (2011)

Type Checking of Tree Walking Transducers. - Sebastian Maneth; Sylvia Friese; Helmut Seidl (Modern Applications of Automata Theory, 2012)