TY  - RPRT
TI  - Logic of Non-Monotonic Interactive Proofs (Formal Theory of Temporary Knowledge Transfer)
AU  - Simon Kramer
PY  - 2013
DO  - 10.1007/978-3-642-36039-8_16
UR  - https://arxiv.org/abs/1208.1842
ID  - 1208.1842
ER  -