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