Arie Matsliah Eli Ben-Sasson Prahladh Harsha Oded Lachish Sound 3-query PCPPs are Long. 2007 14 Electronic Colloquium on Computational Complexity (ECCC) http://eccc.hpi-web.de/eccc-reports/2007/TR07-127/index.html 127 db/journals/eccc/eccc14.html#MatsliahBHL07