1. N. Alon, Private communication, November 1993.
2. Proof verification and intractability of approximation problems;Arora,1992
3. Approximating clique is NP-complete;Arora,1992
4. L. Babai, L. Fortnow and C. Lund, Non-deterministic exponential time has two-prover interactive protocols, in: Proc. FOCS 90, pp. 16–25.
5. L. Babai, L. Fortnow, L. Levin and M. Szegedy, Checking computations in polylogarithmic time, in: Proc. STOC 91 pp. 24–31.