Witnessing functions in bounded arithmetic and search problems (1998)

by Mario Chiari, Jan Kraj'icek
Venue:The Journal of Symbolic Logic