Automated Deduction - CADE-17 | lit.salon