Aaron R. Bradley Zohar Manna Verification Constraint Problems with Strengthening. 35-49 2006 conf/ictac/2006 ICTAC http://dx.doi.org/10.1007/11921240_3 db/conf/ictac/ictac2006.html#BradleyM06