Alternating automata on infinite trees (1987)

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