Decision Procedures - Kroening; Strichman, Ofer (Springer Berlin Heidelberg, 2016)