Decision Procedures. An Algorithmic Point of View, Hardback/Ofer Strichman