Automated reasoning 33 basic research problems - Wos, Larry (Englewood Cliffs, NJ Prentice-Hall, 1988)
Keywords: Artificial intelligence; Automated theorem proving; Electronic digital computers -- Programming