Tree automata, mu-calculus and determinacy (1991)

by E A Emerson, C S Jutla
Venue:In: Proceedings 32th Annual IEEE Symp. on Foundations of Comput. Sci