Fully parallelized multi prover protocols for NEXP-time
[1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science
A. Shamir
Two prover protocols