Nikolaj Bjørner Anca Browne Zohar Manna Automatic Generation of Invariants and Assertions. 589-623 1995 conf/cp/1995 CP db/conf/cp/cp95.html#BjornerBM95 http://dx.doi.org/10.1007/3-540-60299-2_37