Richard E. Ladner Richard J. Lipton Larry J. Stockmeyer Alternating Pushdown and Stack Automata. 135-155 1984 13 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp13.html#LadnerLS84