@inproceedings{Koh:05b,
  series = {LNCS},
  booktitle = {CiE 2005},
  year = 2005,
  publisher = {Springer Verlag},
  author = {Kohlenbach, Ulrich},
  title = {Proof mining in functional analysis (abstract)},
  pages = {233--234},
  editor = {Cooper, S.B. and Loewe, B. and Torenvliet, L.},
}