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