TY  - BOOK
AU  - Kroening, Daniel
AU  - Strichman, Ofer
AU  - Bryant, Randal E.
TI  - Decision procedures: an algorithmic point of view
SN  - 9783540741046
CY  - Berlin
ER  -