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