Learning Conjunctions of Horn Clauses

Angluin et al. "Learning Conjunctions of Horn Clauses." Machine Learning, 1992. doi:10.1007/BF00992675

[Angluin et al. "Learning Conjunctions of Horn Clauses." Machine Learning, 1992.](https://mlanthology.org/mlj/1992/angluin1992mlj-learning/) doi:10.1007/BF00992675

@article{angluin1992mlj-learning,
  title     = {{Learning Conjunctions of Horn Clauses}},
  author    = {Angluin, Dana and Frazier, Michael and Pitt, Leonard},
  journal   = {Machine Learning},
  year      = {1992},
  pages     = {147-164},
  doi       = {10.1007/BF00992675},
  volume    = {9},
  url       = {https://mlanthology.org/mlj/1992/angluin1992mlj-learning/}
}