@inproceedings{Koh:98e,
  series = {Lecture Notes in Logic},
  year = 1998,
  booktitle = {Proceeedings of the Logic Colloquium'96},
  pages = {115--158},
  title = {Arithmetizing proofs in analysis},
  editor = {Larrazabal, J.M. and Lascar, D. and Mints, G.},
  publisher = {Springerverlag},
  author = {Kohlenbach, Ulrich},
}