@article{Berg:12,
  author = {van den Berg, Benno and Briseid, Eyvind M. and Safarik, Pavol},
  volume = 163,
  year = 2012,
  journal = {Ann. Pure Appl. Logic},
  title = {A functional interpretation for nonstandard arithmetic.},
  pages = {1962--1994},
}