Alternating automata on infinite trees (1987)

by David E Muller, Paul E Schupp
Venue:Theor. Comput. Sci