@article{Kreu:12b,
  journal = {J. of Mathematical Logic},
  pages = {16pp.},
  title = {Non-principal ultrafilters, program extraction and higher order
           reverse mathematics.},
  year = 2012,
  volume = 12,
  author = {Kreuzer, Alexander P.},
}