Frédéric Benhamou, William J. Older, André Vellino: Constraint Logic Programming on Boolean, Integer and Real Intervalls. Accepted for publication in Journal of Symbolic Computation
(1993)
Languages mentioned
BNR Prolog
{1985}