Brendan Juba: Restricted Distribution Automatizability in PAC-Semantics. ITCS 2015: 93-102