Automated Reasoning - Peltier; Sofronie-Stokkermans, Viorica (Springer International Publishing, 2020)