Julia Kempe Hirotada Kobayashi Keiji Matsumoto Thomas Vidick Using Entanglement in Quantum Multi-prover Interactive Proofs. 211-222 2008 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2008.6 conf/coco/2008 db/conf/coco/coco2008.html#KempeKMV08