Learning Acyclic First-Order Horn Sentences from Entailment

Arimura. "Learning Acyclic First-Order Horn Sentences from Entailment." International Conference on Algorithmic Learning Theory, 1997. doi:10.1007/3-540-63577-7_59

[Arimura. "Learning Acyclic First-Order Horn Sentences from Entailment." International Conference on Algorithmic Learning Theory, 1997.](https://mlanthology.org/alt/1997/arimura1997alt-learning/) doi:10.1007/3-540-63577-7_59

@inproceedings{arimura1997alt-learning,
  title     = {{Learning Acyclic First-Order Horn Sentences from Entailment}},
  author    = {Arimura, Hiroki},
  booktitle = {International Conference on Algorithmic Learning Theory},
  year      = {1997},
  pages     = {432-445},
  doi       = {10.1007/3-540-63577-7_59},
  url       = {https://mlanthology.org/alt/1997/arimura1997alt-learning/}
}