Decision Procedures - Kroening, Daniel (Springer Berlin Heidelberg, 2020)