@article{HOS06,
  number = {7},
  journal = {Archive for Mathematical Logic},
  pages = {795-805 },
  title = {Well-foundedness in realizability},
  author = {Hofmann, Martin and van Oosten, Jaap and Streicher, Thomas},
  volume = {45},
  year = {2006},
}