@article{Koh:00,
  journal = {Annals of Pure and Applied Logic},
  year = 2000,
  volume = 102,
  pages = {223--245},
  title = {{T}hings that can and things that can't be done in {PRA}},
  author = {Kohlenbach, Ulrich},
}