Total Search Problems in Bounded Arithmetic and Improved Witnessing - Arnold Beckmann (Logic, Language, Information, and Computation, 2017)