@article{Gas:11,
  author = {Jaime Gaspar},
  pages = {45--63},
  title = {Negative translations not intuitionistically equivalent to the usual
           ones},
  year = 2013,
  volume = 101,
  journal = {Studia Logica},
}