@inproceedings{AR12,
  title = "Ordinal analysis and the infinite {Ramsey} theorem",
  author = "Bahareh Afshari and Michael Rathjen",
  year = "2012",
  booktitle = "CiE",
  editor = "S.B. Cooper, A. Dawar and B. L\"owe",
  pages = "1--10",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "7318",
  doi = "10.1007/978-3-642-30870-3_1",
}