Decision Procedures - Daniel Kroening, Ofer Strichman (Springer, 2016)