Alternating Automata on Infinite Trees (1987)

by D E Muller, P E Schupp
Venue:Theoretical Compututer Science