@book{16151, author = {Kroening, Daniel. and Strichman, Ofer.}, title = {Decision procedures :}, publisher = {Springer,}, year = {2010.}, series = {Texts in theoretical computer science}, address = {Berlin :} }