Simon Kramer. Logic of Non-monotonic Interactive Proofs. In Kamal Lodaya, editor, Logic and Its Applications, 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Volume 7750 of Lecture Notes in Computer Science, pages 173-184, Springer, 2013. [doi]
Abstract is missing.