Constraint-Based Verification - Yuan, Jun; Pixley, Carl; Aziz, Adnan (Springer US, 2006)