@article{Koh:92c,
  pages = {1239--1273},
  title = {Effective bounds from ineffective proofs in analysis: an application
           of functional interpretation and majorization},
  author = {Kohlenbach, Ulrich},
  journal = {Journal of Symbolic Logic},
  volume = 57,
  year = 1992,
}