The provably total search problems of bounded arithmetic
Alan Skelley, Neil Thapen
Proceedings of the London Mathematical Society (2011), pp. 1-33