Constraint-based verification. - Yuan, Jun; Aziz, Adnan; Pixley, Carl (Springer, 2006)