@inproceedings{STOC-2007-GoldwasserGHKR,
	author        = "Shafi Goldwasser and Dan Gutfreund and Alexander Healy and Tali Kaufman and Guy N. Rothblum",
	booktitle     = "{Proceedings of the 39th Annual ACM Symposium on Theory of Computing}",
	doi           = "10.1145/1250790.1250855",
	isbn          = "978-1-59593-631-8",
	pages         = "440--449",
	publisher     = "{ACM}",
	title         = "{Verifying and decoding in constant depth}",
	year          = 2007,
}