TY  - GEN
AU  - Daniel Kroening,
AU  - Strichman,  Ofer
TI  - Decision procedures: : an algorithmic point of view 
T2  - Texts in theoretical computer science an EATCS series
SN  - 9783662570654
U1  - 004.0151 
PY  - 2016///
CY  - Berlin
PB  - Springer
KW  - Logic, Symbolic and mathematical
KW  - Decision making--Mathematical models
KW  - Algorithms
N1  - Including reference and index
ER  -