@inproceedings{Bellare:1993am,
 author = {Bellare, Mihir and Goldwasser, Shafi and Lund, Carsten and Russell, Alexander},
 bdsk-url-1 = {http://doi.acm.org/10.1145/167088.167174},
 bdsk-url-2 = {http://dx.doi.org/10.1145/167088.167174},
 booktitle = {Proceedings of the Twenty-Fifth Annual ACM Symposium on Theory of Computing (STOC)},
 date-added = {2011-03-08 11:31:27 -0500},
 date-modified = {2015-08-25 14:17:16 +0000},
 doi = {10.1145/167088.167174},
 eprint = {167174},
 eprinttype = {ACM},
 pages = {294--304},
 publisher = {ACM},
 title = {Efficient Probabilistically Checkable Proofs and Applications to Approximations},
 year = {1993}
}