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

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