Bounded arithmetic and the polynomial hierarchy (1991)

by J Krajíček, P Pudlák, G Takeuti
Venue:Annals of Pure and Applied Logic