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.
Eijiro Sumii, Hideo Bannai:
The Extension of ML with Hypothetical Views for Discovery Science: Formalization and Implementation.