Automated Reasoning door Rajeev Gore & T. Nipkow