Book review of: D. Kroening and O. Strichman, Decision procedures. An algorithmic point of view. 2nd ed.
scientific article; zbMATH DE number 6980312