@article{KohKreu:12,
  author = {Kreuzer, Alexander P. and Kohlenbach, Ulrich},
  year = 2012,
  volume = 77,
  title = {Term extraction and {R}amsey's theorem for pairs.},
  pages = {853--895},
  journal = {J. Symb. Logic},
}