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