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