Reference:

Andrey Rybalchenko. Constraint solving for program verification: Theory and practice by example. In Dawar and Veith, page 51.

Suggested BibTeX entry:

@inproceedings{DBLP:confcslRybalchenko10,
    author = {Andrey Rybalchenko},
    booktitle = {CSL},
    editor = {Anuj Dawar and Helmut Veith},
    pages = {51},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Constraint Solving for Program Verification: Theory and Practice by Example},
    volume = {6247},
    year = {2010}
}