Multi-prover interactive proofs: how to remove intractability

Abstract
No abstract available