Tatyana M. Yakhno Slava Zilberfaine Interval Domain Library for ECLiPSe and Its Application. 316-328 1997 conf/cdb/1997 CDB db/conf/cdb/cdb97.html#YakhnoZ97