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