TY  - BOOK
AU  - Kroening, Daniel.
AU  - Strichman, Ofer
TI  - Decision Procedures: An Algorithmic Point of View
SN  - 9783540741046
U1  - 004.015 
PY  - 2008///
CY  - Berlin
PB  - Springer
KW  - Decision making--Mathematical models
ER  -