Relating the bounded arithmetic and polynomial time hierarchies (1995)

by S Buss
Venue:Annals of Pure and Applied Logic