Decision Procedures: An Algorithmic Point of View

Book by Daniel Kroening and Ofer Strichman