@techreport{arXiv:1309.1328v1,
	Author = {S. Kramer},
	Institution = {arXiv},
	Note = {\url{https://arxiv.org/abs/1309.1328}},
	Number = {1309.1328},
	Title = {Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)},
	Url = {\url{https://arxiv.org/abs/1309.1328}},
	Year = {2013}}