@techreport{DBLP:journals/corr/abs-1208-5913,
  author        = {Simon Kramer},
  title         = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)},
  journal       = {CoRR},
  volume        = {abs/1208.5913},
  institution   = {University of Luxembourg},
  year          = {2012},
  note          = {Available at \url{http://arxiv.org/abs/1208.5913}},
  bibsource     = {DBLP, http://dblp.uni-trier.de}
}