Automated Deduction - CADE 29 | lit.salon