On the scheme of induction for bounded arithmetic formulas (1987)

by A Wilkie, J Paris
Venue:Annals of Pure and Applied Logic