@article{LIiP:ACMTOCL,
	Author = {S. Kramer},
	Title = {Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer)},
	Journal = {{ACM} Transactions on Computational Logic},
	Volume = {16},
	Number = {4},
 	Articleno = {35},
	Year = {2015},
	Doi = {10.1145/2811263},
	Url = {\url{https://doi.acm.org/10.1145/2811263}}