Toward a general theory of quantum games Gus Gutoski and John Watrous In Proceedings of the 39th ACM Symposium on Theory of Computing (STOC'07), pages 565-574, 2007.
Upper bounds for quantum interactive proofs with competing provers Gus Gutoski
In Proceedings of the 20th Annual IEEE Conference on Computational Complexity (CCC'05),
pages 334-343, 2005.
Quantum interactive proofs with competing provers Gus Gutoski and John Watrous In Proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science (STACS'05),
volume 3404 of Lecture Notes in Computer Science, pages 605-616, Springer-Verlag, 2005.