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