The Complexity of Tree Automata and Logics of Programs.

E. Allen Emerson Charanjit S. Jutla The Complexity of Tree Automata and Logics of Programs. 132-158 1999 29 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp29.html#EmersonJ99 http://dx.doi.org/10.1137/S0097539793304741