Automated reasoning 33 basic research problems - Wos, Larry (Englewood Cliffs Prentice Hall, 1988)
Companion Vol. To: Automated Reasoning: Introduction And Applications
Keywords: Automatic Theorem Proving; Artificial Intelligence; Automated Reasoning