Automated Deduction - Cade-18 by A. Voronkov