"Visibly Tree Automata with Memory and Constraints"

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