arXiv 2001-02-19 EN Quantum Multi-Prover Interactive Proof Systems with Limited Prior Entanglement Kobayashi, Hirotada · Matsumoto, Keiji