Brendan Juba. Restricted Distribution Automatizability in PAC-Semantics. In Tim Roughgarden, editor, Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, ITCS 2015, Rehovot, Israel, January 11-13, 2015. pages 93-102, ACM, 2015. [doi]
Abstract is missing.