@inproceedings{KramerICLA2013,
	Author = {S. Kramer},
	Booktitle = {Proceedings of {ICLA}},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {Logic of Non-Monotonic Interactive Proofs},
	Volume = {7750},
	Year = {2013}}