@misc{indiciae70a0e19a2e1c,
  title = {On Various Negative Translations},
  author = {Gilda Ferreira and Paulo Oliva},
  year = {2011},
  doi = {10.4204/eptcs.47.4},
  url = {https://arxiv.org/abs/1101.5442},
  note = {Source identifier: 1101.5442}
}