Yoram Bachrach, Michael Zuckerman, Michael Wooldridge, Jeffrey S. Rosenschein. Proof Systems and Transformation Games. In Petr Hlinený, AntonÃn Kucera, editors, Mathematical Foundations of Computer Science 2010, 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings. Volume 6281 of Lecture Notes in Computer Science, pages 78-89, Springer, 2010. [doi]
Abstract is missing.