Etsuro Moriya A Grammatical Characterization of Alternating Pushdown Automata. 75-85 1989 67 Theor. Comput. Sci. 1 db/journals/tcs/tcs67.html#Moriya89