Michael Ben-Or Avinatan Hassidim Haran Pilpel Quantum Multi Prover Interactive Proofs with Communicating Provers. 467-476 2008 FOCS http://dx.doi.org/10.1109/FOCS.2008.57 conf/focs/2008 db/conf/focs/focs2008.html#Ben-OrHP08