Alternating automata on infinite trees (1987)

by D E Muller, P E Schupp
Venue:TCS