"Tree Automata with Memory, Visibility and Structural Constraints."

Hubert Comon-Lundh, Florent Jacquemard, Nicolas Perrin (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics