Automated Reasoning by Rajeev Gore & T. Nipkow