"Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)" - читать интересную книгу автора (Daniel Kroening, Ofer Strichman)