Thomas W. Reps Shmuel Sagiv Alexey Loginov Finite Differencing of Logical Formulas for Static Analysis. 380-398 2003 conf/esop/2003 ESOP http://link.springer.de/link/service/series/0558/bibs/2618/26180380.htm db/conf/esop/esop2003.html#RepsSL03