Fully parallelized multi prover protocols for NEXP-time (1991)

by D Lapidot, A Shamir
Venue:In Proceedings of the 32nd Annual Symposium on Foundations of Computer Science