Automated Reasoning - Blanchette, Jasmin; Kovács, Laura; Pattinson, Dirk (Springer International Publishing, 2022)