@inproceedings{KramerIMLA2013,
	Author = {S. Kramer},
	Booktitle = {Proceedings of {IMLA}},
	Publisher = {Elsevier},
	Series = {ENTCS},
	Title = {Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)},
	Volume = {300},
	Year = {2014}}