Jimmy Ho-Man Lee Maarten H. van Emden Interval Computation as Deduction in CHIP. 255-276 1993 16 J. Log. Program. 3 db/journals/jlp/jlp16.html#LeeE93