"Restricting grammars with tree automata."

Michael D. Adams, Matthew Might (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics