Book

Handbook of Automated Reasoning

by Robinson, Alan, Andrei Voronkov