@inproceedings{Bellare:1994zy,
 acmid = {195467},
 address = {New York, NY, USA},
 author = {Bellare, M. and Goldwasser, S. and Lund, C. and Russell, A.},
 bdsk-url-1 = {http://doi.acm.org/10.1145/195058.195467},
 booktitle = {Proceedings of the twenty-sixth annual ACM symposium on Theory of computing},
 date-added = {2011-03-08 11:29:55 -0500},
 date-modified = {2015-05-28 21:20:16 +0000},
 doi = {http://doi.acm.org/10.1145/195058.195467},
 isbn = {0-89791-663-8},
 location = {Montreal, Quebec, Canada},
 pages = {820--},
 publisher = {ACM},
 series = {STOC '94},
 title = {Efficient Probabilistic Checkable Proofs and Applications to Approximation},
 url = {http://doi.acm.org/10.1145/195058.195467},
 year = {1994}
}