Title: Handbook of automated reasoning
Subjects: Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation (information theory), Deductive databases, Logic programming, Functional programming (computer science), Handbooks, manuals