““Decision Procedures:An Algorithmic Point of View,” by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008” by Clark Barrett. Journal of Automated Reasoning, vol. 51, no. 4, Dec. 2013, pp. 453-456, Springer Netherlands.
BibTeX entry:
@article{B13, author = {Clark Barrett}, title = {{``Decision Procedures:An Algorithmic Point of View,'' by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008}}, journal = {Journal of Automated Reasoning}, volume = {51}, number = {4}, pages = {453--456}, publisher = {Springer Netherlands}, month = dec, year = {2013}, doi = {10.1007/s10817-013-9295-4}, url = {http://theory.stanford.edu/~barrett/pubs/B13.pdf} }
(This webpage was created with bibtex2web.)