Automated Reasoning - Nicolas Peltier, Viorica Sofronie-Stokkermans (Springer, 2020)