Bounded arithmetic and the polynomial hierarchy (1991)

by J Kraj cek, P Pudl ak, G Takeuti
Venue:Annals of Pure and Applied Logic