Witnessing functions in bounded arithmetic and search problems, The (1998)

by Mario Chiari, Jan Krajíček
Venue:Journal of Symbolic Logic