Proof mining: a systematic way of analysing proofs in mathematics (2003)

by U Kohlenbach, P Oliva
Venue:Proc. Steklov Inst. Math. 242