@article{Koh:93a,
  volume = 64,
  year = 1993,
  author = {Kohlenbach, Ulrich},
  pages = {27--94},
  title = {Effective moduli from ineffective uniqueness proofs. An unwinding of
           de La Vallee Poussin's proof for Chebycheff approximation},
  journal = {Annals of Pure and Logic},
}