Decision Procedures - Kroening, Daniel; Brauer, W.; HromkoviÄ, J.; Strichman, Ofer; Bryant, R. E.; Rozenberg, G. (Springer Berlin Heidelberg, 2008)