Older, William J. ; André Vellino: Constraint Arithmetic on Real Intervals. WCLP 1991: 175-195
(1991)
Languages mentioned
BNR Prolog
{1985}