Bounded arithmetic and the polynomial hierarchy (1991)

by J KRAJf0EK, P PUDLXK, G TAKEUTI
Venue:Annals of Pure and Applied Logic