Title: Automated Deduction - CADE-16
Subjects: Congresses, Symbolic and mathematical Logic, Automatic theorem proving