The polynomial hierarchy and intuitionistic bounded arithmetic, Structure in Complexity Theory (1986)

by S Buss
Venue:Lecture Notes in Computer Science