"The Regularity of Two-Way Nondeterministic Tree Automata Languages."

Anne Brüggemann-Klein, Derick Wood (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics