The provably total search problems of bounded arithmetic (1987)

by A Skelley, N Thapen
Venue:Proceedings of the London Mathematical Society, 103 (2011