@article{LietzStreicher:12,
  journal = {Annals of Pure and Applied Logic},
  number = {12},
  year = {2012},
  volume = {163},
  title = {Realizability models refuting Ishihara's boundedness principle.},
  ages = {1803-1807},
  author = {Lietz, Peter and Streicher, Thomas},
}