@techreport{DBLP:journals/corr/abs-1201-3667,
  author        = {Simon Kramer},
  title         = {A Logic of Interactive Proofs},
  journal       = {CoRR},
  volume        = {abs/1201.3667},
  institution   = {University of Luxembourg},
  year          = {2012},
  note          = {Available at \url{http://arxiv.org/abs/1201.3667}},
  bibsource     = {DBLP, http://dblp.uni-trier.de}
}