"Loops and Overloops for Tree Walking Automata."

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko (2011)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics