Automated theorem proving - Bibel Wolfgang (Braunschweig Vieweg, 1982)
Keywords: Automated theory; Computer science