Robust Cooperation in the Prisoner's Dilemma: Program Equilibrium via Provability Logic. - Mihály Bárász; Paul F. Christiano; Benja Fallenstein; Marcello Herreshoff; Patrick LaVictoire; Eliezer Yudkowsky (CoRR, 2014)