Fully parallelized multi prover protocols for NEXPTIME (1991)

by D LAPIDOT, A SHAMIR
Venue:In Proceedings of the 32nd IEEE Symposium on Foundations of Computer Science. IEEE