Automated theorem proving - Bibel, Wolfgang 1938- (Artificial intelligence, 1987)