The Complexity of Tree Automata and Logics of Programs (Extended Abstract)

The Complexity of Tree Automata and Logics of Programs (Extended Abstract) E. Allen Emerson Charanjit S. Jutla 328-337 conf/focs/FOCS29 1988 FOCS db/conf/focs/focs88.html#EmersonJ88 http://doi.ieeecomputersociety.org/10.1109/SFCS.1988.21949