@article{StreiKoh:07a,
  author = {Streicher, Thomas and Kohlenbach, Ulrich},
  year = 2007,
  volume = 53,
  pages = {176-179},
  title = {Shoenfield is Goedel after Krivine},
  journal = {Mathematical Logic Quarterly},
}