Automated Deduction - Cade-16 by H. Ganzinger