Automated Reasoning - Galmiche, Didier (Springer International Publishing, 2020)