TY  - BOOK
AU  - KROENING,DANIEL; STRICHMAN,OFER
TI  - Decision Procedures: An Algorithmic Point of View
SN  - 9783540741046
U1  - 004.015 
PB  - Berlin:Springer-verlag
KW  - Mathematical Principles
ER  -