@article{OS07,
  pages = {207-220},
  title = {On Krivine's realizability interpretation of classical second-order
           arithmetic},
  author = {Oliva, Paulo and Streicher, Thomas},
  journal = {Fundamenta Informaticae},
  number = {2},
  volume = {84},
  year = {2008},
}