of bounded arithmetic and bounded query classes (1993)

by F'agmcnts
Venue:Transactions of the A.M.S