Quantum interactive proofs with competing provers. (2005)

by Gus Gutoski, John Watrous
Venue:In Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science (STACS’05),