@misc{indiciae76c7611573b6,
  title = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)},
  author = {Simon Kramer},
  year = {2013},
  doi = {10.1016/j.entcs.2013.12.011},
  url = {https://arxiv.org/abs/1208.5913},
  note = {Source identifier: 1208.5913}
}