Non-Deterministic Exponential Time has Two-Prover Interactive Protocols (1991)

by L Babai, L Fortnow, C Lund
Venue:Computational Complexity