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