@article{KohKreu:09,
  journal = {Notre Dame Journal of Formal Logic},
  year = 2009,
  volume = 50,
  title = {{R}amsey's theorem for pairs and provably recursive functions},
  pages = {427-444},
  author = {Kreuzer, Alexander P. and Kohlenbach, Ulrich},
}