Automated Deduction -- CADE-24 - häftad, Engelska, 2013