Multi-prover interactive proofs: unsound foundations

From MaRDI portal
Publication:2412247