Handbook Of Automated Reasoning by Alan Robinson, Thomas Robinson & Andrei Voronkov