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