Interval computation as deduction in CHIP (1993)

by J H M Lee, H van Emden
Venue:In Journal of Logic Programming