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