Luc De Raedt, Wim Van Laer. Inductive Constraint Logic. In Klaus P. Jantke, Takeshi Shinohara, Thomas Zeugmann, editors, Algorithmic Learning Theory, 6th International Conference, ALT 95, Fukuoka, Japan, October 18-20, 1995, Proceedings. Volume 997 of Lecture Notes in Computer Science, pages 80-94, Springer, 1995.
Abstract is missing.