Alternating Finite Automata on omega-Words. - Satoru Miyano; Takeshi Hayashi 004 (Theor. Comput. Sci., 1984)