Characterizing the polynomial hierarchy by alternating auxiliary pushdown automataBirgit Jenner and Bernd KirsigRAIRO-Theor. Inf. Appl., 23 1 (1989) 87-99DOI: https://doi.org/10.1051/ita/1989230100871