@article{GerKoh:04a,
  journal = {Ann. Pure Appl. Logic},
  title = {{S}trongly uniform bounds from semi-constructive proofs},
  pages = {89-107},
  volume = 141,
  year = {2006},
  author = {Gerhardy, Philipp and Kohlenbach, Ulrich},
}