Tree Automata, Mu-Calculus and Determinacy (Extended Abstract)

E. Allen Emerson, Charanjit S. Jutla

Browse the full FOCS paper archive.