References from Non-deterministic exponential time has two-prover interactive protocols. Local targets link to admitted publications; unresolved targets remain external evidence.
No reference evidence is available for this admitted work.
References for Non-deterministic exponential time has two-prover interactive protocols | ResearchHub - ResearchHub
