“Decision Procedures:An Algorithmic Point of View,

“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},
   url = {http://www.cs.nyu.edu/~barrett/pubs/B13.pdf}
}

(This webpage was created with bibtex2web.)