Characterizing the polynomial hierarchy by alternating auxiliary pushdown automata Birgit Jenner; Bernd Kirsig — 1989 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications