Automated reasoning : introductions and applications (Englewood Cliffs, N.J. : Prentice-Hall, 1984)
Keywords: Automatic theorem proving; Artificial intelligence; Electronic digital computers -- Programming