Alternation bounded auxiliary pushdown automataRichard E. LadnerLarry J. Stockmeyeret al.1984Information and Control