INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals.

Leslie De Koninck Tom Schrijvers Bart Demoen INCLP(R) - Interval-based Nonlinear Constraint Logic Programming over the Reals. 91-100 2006 conf/wlp/2006 WLP http://www.kr.tuwien.ac.at/wlp06/13-final.ps.gz db/conf/wlp/wlp2006.html#KoninckSD06