Alternating Automata on Infinite Trees (1987)

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