Title: Handbook of practical logic and automated reasoning
Subjects: Computer logic, Logic, Automatic theorem proving, Computer programming