@article{Koh:98a,
  year = 1998,
  volume = 95,
  journal = {Annals of Pure and Applied Logic},
  author = {Kohlenbach, Ulrich},
  title = {On the arithmetical content of restricted forms of comprehension,
           choice and general uniform boundedness},
  pages = {257--285},
}