Automated Deduction — CADE-12