Automated Deduction - Cade-18 door A. Voronkov