"Tree Automata with One Memory, Set Constraints, and Ping-Pong Protocols."

Hubert Comon, Véronique Cortier, John Mitchell (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics