Automated Deduction ' CADE 26