@misc{indiciae8448491e4475,
  title = {Double-Negation Elimination in Some Propositional Logics},
  author = {Michael Beeson and Robert Veroff and Larry Wos},
  year = {2003},
  url = {https://arxiv.org/abs/cs/0301026},
  note = {Source identifier: cs/0301026}
}