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