Gillat Kol, Ran Raz. Competing provers protocols for circuit evaluation. In Robert D. Kleinberg, editor, Innovations in Theoretical Computer Science, ITCS '13, Berkeley, CA, USA, January 9-12, 2013. pages 473-484, ACM, 2013. [doi]
Abstract is missing.