TR-91-10

Non-Deterministic Exponential Time Has Two-Prover Interactive Protocols

Babai, Laszlo; Fortnow, Lance; Lund, Carsten. 5 April, 1991.
Communicated by Laszlo Babai.

The original document is available in Postscript (uploaded 8 June, 2001 by Dustin Mitchell).