TY  - RPRT
TI  - Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
AU  - Simon Kramer
PY  - 2013
DO  - 10.1016/j.entcs.2013.12.011
UR  - https://arxiv.org/abs/1208.5913
ID  - 1208.5913
ER  -