Automated theorem proving - Bibel, Wolfgang, 1938- (Braunschweig : Friedr Vieweg & Sohn, 1982)
Bibliography: p.(277)-287
Keywords: Automatic theorem proving