@article{Koh:wollic06,
  journal = {Electronic Notes in Theoretical Computer Science},
  title = {A logical uniform boundedness principle for abstract metric and
           hyperbolic spaces},
  pages = {81-93},
  author = {Kohlenbach, Ulrich},
  volume = 165,
  year = {2006},
}