Fully Parallelized Multi Prover Protocols for NEXP-time (1991)

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