Automated Reasoning - Blanchette, Jasmin (Springer International Publishing, 2022)