William Blume Rudolf Eigenmann Demand-Driven, Symbolic Range Propagation. 141-160 1995 conf/lcpc/1995 LCPC db/conf/lcpc/lcpc1995.html#BlumeE95