Simulating aternating tree automata by nondeterministic automata: New results and new proofs of (1995)

by D E Muller, P E Schupp
Venue:theorems of Rabin, McNaughton and Safra. Theoretical Computer Science