Theory-Guideed Induction of Logic Programs by Inference of Regular Languages

Boström. "Theory-Guideed Induction of Logic Programs by Inference of Regular Languages." International Conference on Machine Learning, 1996.

[Boström. "Theory-Guideed Induction of Logic Programs by Inference of Regular Languages." International Conference on Machine Learning, 1996.](https://mlanthology.org/icml/1996/bostrom1996icml-theory/)

@inproceedings{bostrom1996icml-theory,
  title     = {{Theory-Guideed Induction of Logic Programs by Inference of Regular Languages}},
  author    = {Boström, Henrik},
  booktitle = {International Conference on Machine Learning},
  year      = {1996},
  pages     = {46-53},
  url       = {https://mlanthology.org/icml/1996/bostrom1996icml-theory/}
}