Relating the Bounded Arithmetic and Polynomial Time Hierarchies (1994)

by Samuel R. Buss, Then T
Venue:Annals of Pure and Applied Logic