@article{GasKoh:09,
  pages = {355-371},
  title = {On {T}ao's finitary infinite pigeonhole principle},
  journal = {The Journal of Symbolic Logic},
  volume = 75,
  year = 2010,
  author = {Gaspar, Jaime and Kohlenbach, Ulrich},
}