@article{Koh:96a,
  journal = {Arch. Math. Logic},
  pages = {31--71},
  title = {Mathematically strong subystems of analysis with low rate of growth
           of provably recursive functionals},
  year = 1996,
  volume = 36,
  author = {Kohlenbach, Ulrich},
}