@article{Barrett_2013,
    doi = {10.1007/s10817-013-9295-4},
    url = {https://doi.org/10.1007%2Fs10817-013-9295-4},
    year = {2013},
    month = {oct},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {51},
    number = {4},
    pages = {453--456},
    author = {Clark Barrett},
    title = {{\textquotedblleft}Decision Procedures: An Algorithmic Point of View,{\textquotedblright} by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008},
    journal = {Journal of Automated Reasoning}
}

@article{Barrett_2013, doi = {10.1007/s10817-013-9295-4}, url = {https://doi.org/10.1007%2Fs10817-013-9295-4}, year = {2013}, month = {oct}, publisher = {Springer Science and Business Media {LLC}}, volume = {51}, number = {4}, pages = {453--456}, author = {Clark Barrett}, title = {{\textquotedblleft}Decision Procedures: An Algorithmic Point of View,{\textquotedblright} by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008}, journal = {Journal of Automated Reasoning} }