Julia Kempe Hirotada Kobayashi Keiji Matsumoto Thomas Vidick Using Entanglement in Quantum Multi-Prover Interactive Proofs. 273-307 2009 18 Computational Complexity 2 http://dx.doi.org/10.1007/s00037-009-0275-3 db/journals/cc/cc18.html#KempeKMV09