Automated Reasoning - Armando, Alessandro (Springer Berlin Heidelberg, 2020)