Nondeterministic exponential time has two-prover interactive protocols (1991)

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