Hirotada Kobayashi Keiji Matsumoto Quantum multi-prover interactive proof systems with limited prior entanglement. 429-450 2003 66 J. Comput. Syst. Sci. 3 http://dx.doi.org/10.1016/S0022-0000(03)00035-7 db/journals/jcss/jcss66.html#KobayashiM03