Relating the Bounded Arithmetic and Polynomial Time Hierarchies (1995)

by S R Buss
Venue:Annals of Pure and Applied Logic