Automated Reasoning - Stéphane Demri, Deepak Kapur, Christoph Weidenbach (Springer International Publishing, 2014)