Title: Handbook of Automated Reasoning
Subjects: Artificial intelligence