@inproceedings{Koh:96b,
  editor = {Hodges, W. and Hyland, M. and Steinhorn C. and Truss, J.},
  title = {Analysing proofs in analysis},
  pages = {225--260},
  author = {Kohlenbach, Ulrich},
  year = 1996,
  booktitle = {Logic: from foundations to applications. Proceeedings of the
               Logic Colloquium'93},
  publisher = {Oxford University Press},
}