1. J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19–20:503–583, 1994.
2. J. Jaffar, S. Michaylov, P. Stuckey, and R. H. C. Yap. The CLP(
$$\Re$$
) language and system. Technical Report RC 16292-72336, IBM Watson Research Centre, 1990.
3. A. Karalič and Ivan Bratko. First order regression. To appear in the journal of Machine Learning, 1997.
4. S. Muggleton. Inverse entailment and Progol. New Generation Computing, 13:245–286, 1995.
5. S. Muggleton and C. D. Page. Beyond first-order learning: Inductive logic programming with higher-order logic. Technical Report PRG-TR-13-94, Oxford University Computing Laboratory, 1994.