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

by L Babai, L Fortnow, C Lund
Venue:In Proc. 31st IEEE FOCS