Interval computation as deduction in CHIP (1993)

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