Automated Reasoning - Peltier (Springer International Publishing, 2020)