"A note on the polynomial-time hierarchy and the quantified Boolean formulas."

Bogdan S. Chlebus (1987)
a service of Schloss Dagstuhl - Leibniz Center for Informatics