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

by E A Emerson, C S Jutla
Venue:In 32nd Annual Symposium on Foundations of Computer Science, FOCS ’91