@techreport{arXiv:1208.5913v1,
	Author = {S. Kramer},
	Institution = {arXiv},
	Note = {\url{https://arxiv.org/abs/1208.5913}},
	Number = {1208.5913},
	Title = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)},
	Url = {\url{https://arxiv.org/abs/1208.5913}},
	Year = {2012}}