Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms.

Miguel García-Díaz Susana Nieva Solving Constraints for an Instance of an Extended CLP Language over a Domain Based on Real Numbers and Herbrand Terms. 2003 2003 Journal of Functional and Logic Programming http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2003/S03-01/JFLP-A03-02/rhjflp.pdf db/journals/jflp/jflp2003.html#Garcia-DiazN03