Sanjeev Arora Shmuel Safra Probabilistic Checking of Proofs: A New Characterization of NP. 70-122 1998 45 J. ACM 1 db/journals/jacm/jacm45.html#AroraS98 http://doi.acm.org/10.1145/273865.273901