Tree automata, mu-calculus and determinacy (1991)

by E A Emerson, C S Jutla
Venue:In Proc. 5th IEEE Foundations of Computer Science