Michael Ben-Or, Avinatan Hassidim, Haran Pilpel. Quantum Multi Prover Interactive Proofs with Communicating Provers. In 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA. pages 467-476, IEEE Computer Society, 2008. [doi]
Abstract is missing.