Handbook of automated reasoning - Robinson, J. A.; Voronkov, Andrei, 1959- (Elsevier ;, 2001)