Automated Theorem Proving - Bibel, Wolfgang, 1938- (Friedr. Vieweg & Sohn, 1982)