Quantum multi-prover interactive proof systems with limited prior entanglement. (2003)

by H KOBAYASHI, K MATSUMOTO
Venue:Journal of Computer and System Sciences,