TY  - GEN
AU  - Kroening, Daniel
AU  - Strichman, Ofer
TI  - Decision Procedures [2nd ed.] [Perpetual]: an algorithmic point of view
T2  - / edited by Monika Henzinger  
SN  - 9783662504963    
U1  - 519.542 
PY  - 2016///
CY  - Berlin
PB  - Springer-Verlag
KW  - Decision making -- Mathematical models
KW  - Logic, Symbolic and mathematical
KW  - Software engineering
KW  - Computer science
N1  - with 64 illustrations, (5 illustrations in color)
UR  - https://link.springer.com/book/10.1007/978-3-662-50497-0
ER  -