Title: Automated Deduction - CADE-25
Subjects: Logic, symbolic and mathematical, Automatic theorem proving