Alternating pushdown and stack automata. - Ladner, Richard E.; Lipton, Richard J.; Stockmeyer, Larry J. (SIAM Journal on Computing, 1984)