Interactive proofs and the hardness of approximating cliques. (1996)

by Uriel Feige, Shafi Goldwasser, Laszlo Lovasz, Shmuel Safra, Mario Szegedy
Venue:Journal of the ACM,