Automated Deduction - Cade-16 door H. Ganzinger