Hélène Collavizza Michel Rueher Exploring Different Constraint-Based Modelings for Program Verification. 49-63 2007 conf/cp/2007 CP http://dx.doi.org/10.1007/978-3-540-74970-7_6 db/conf/cp/cp2007.html#CollavizzaR07