Decision Procedures - Kroening (Springer Berlin Heidelberg, 2016)