Non-Deterministic Exponential Time has TwoProver Interactive Protocols (1990)

by L Babai, L Fortnow, C Lund
Venue:University of Chicago, Dept. of Computer Science