@article{Kreu:12a,
  pages = {245--265},
  title = {Primitive recursion and the chain antichain principle.},
  journal = {Notre Dame J. Formal Logic},
  volume = 53,
  year = 2012,
  author = {Kreuzer, Alexander P.},
}