Title: Automated deduction -- CADE-21
Subjects: Automatic theorem proving, Congresses, Logic, Symbolic and mathematical, Symbolic and mathematical Logic, Logic, symbolic and mathematical