Non-deterministic exponential time has two-prover interactive protocols (1991)

by László Babai, Lance J Fortnow, Carsten Lund
Venue:Computational Complexity