Alternating Automata on Infinite Trees

David E. Muller, Paul E. Schupp. Alternating Automata on Infinite Trees. Theoretical Computer Science, 54:267-276, 1987.

Abstract

Abstract is missing.