Inductive Constraint Logic

De Raedt and Van Laer. "Inductive Constraint Logic." International Conference on Algorithmic Learning Theory, 1995. doi:10.1007/3-540-60454-5_30

[De Raedt and Van Laer. "Inductive Constraint Logic." International Conference on Algorithmic Learning Theory, 1995.](https://mlanthology.org/alt/1995/raedt1995alt-inductive/) doi:10.1007/3-540-60454-5_30

@inproceedings{raedt1995alt-inductive,
  title     = {{Inductive Constraint Logic}},
  author    = {De Raedt, Luc and Van Laer, Wim},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1995},
  pages     = {80-94},
  doi       = {10.1007/3-540-60454-5_30},
  url       = {https://mlanthology.org/alt/1995/raedt1995alt-inductive/}
}