@article{Koh:02,
  pages = {103--116},
  title = {{O}n uniform weak {K}{\"o}nig's lemma},
  journal = {Annals of Pure and Applied Logic},
  author = {Kohlenbach, Ulrich},
  volume = 114,
  year = 2002,
}