@techreport{DBLP:journals/corr/abs-1208-1842,
  author        = {Simon Kramer},
  title         = {Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)},
  journal       = {CoRR},
  volume        = {abs/1208.1842},
  institution   = {University of Luxembourg},
  year          = {2012},
  note          = {Available at \url{http://arxiv.org/abs/1208.1842}},
  bibsource     = {DBLP, http://dblp.uni-trier.de}
}