On the complexity of approximating the independent set problem
Information and Computation
Piotr Berman
Two prover protocols