Title: Handbook of Practical Logic and Automated Reasoning
Subjects: Automatic theorem proving, Logic