Birgit Jenner, Bernd Kirsig. Characterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata. In Robert Cori, Martin Wirsing, editors, STACS 88, 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, Proceedings. Volume 294 of Lecture Notes in Computer Science, pages 118-125, Springer, 1988.
Abstract is missing.