An equivalence between second order bounded domain bounded arithmetic and first order bounded arithmetic (1993)

by A A Razborov
Venue:Arithmetic, Proof Theory and Computational Complexity