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

by U Feige, S Goldwasser, L Lovasz, S Safra, Szegedy
Venue:J. ACM