Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees.

Detlef Seese Interpretability and tree automata: A simple way to solve algorithmic problems on graphs closely related to trees. 83-114 1992 Tree Automata and Languages db/books/collections/treeauto1992.html#Seese92