@book{22677, author = {Yuan, Jun. and Pixley, Carl. and SpringerLink (Online service)}, title = {Constraint-Based Verification}, publisher = {Springer Science+Business Media, Inc.,}, year = {2006.}, address = {Boston, MA :}, url = {http://dx.doi.org/10.1007/0-387-30784-2} }