Proof Systems and Transformation Games.

Yoram Bachrach, Michael Zuckerman, Michael J. Wooldridge, Jeffrey S. Rosenschein

Browse the full MFCS paper archive.