@techreport{arXiv:1208.1842v1,
	Author = {S. Kramer},
	Institution = {arXiv},
	Note = {\url{https://arxiv.org/abs/1208.1842}},
	Number = {1208.1842},
	Title = {Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)},
	Url = {\url{https://arxiv.org/abs/1208.1842}},
	Year = {2012}}