Automated Reasoning - Nicola Olivetti, Ashish Tiwari (Springer International Publishing, 2016)