Automated Deduction : CADE 30 | lit.salon