Automated theorem proving (1982)

by Wolfgang Bibel