Handbook of Automated Reasoning, Two-Volume Set door Jancis Robinson & Andrei Voronkov