Hirotada Kobayashi Keiji Matsumoto Quantum Multi-prover Interactive Proof Systems with Limited Prior Entanglement. 115-127 2002 conf/isaac/2002 ISAAC http://dx.doi.org/10.1007/3-540-36136-7_11 db/conf/isaac/isaac2002.html#KobayashiM02