Automated theorem proving - Bibel, Wolfgang 1938- (Vieweg, 1982)