Simulating alternating tree automata by nondeterministic automata: new results and new proofs of the theorems of (1995)

by David E Muller, Paul E Schupp