Title: Handbook of Automated Reasoning
Subjects: Artificial intelligence, Knowledge representation (information theory), Logic programming, Functional programming (computer science), Computer science