Computing Intersections of Horn Theories for Reasoning with Models

Eiter et al. "Computing Intersections of Horn Theories for Reasoning with Models." AAAI Conference on Artificial Intelligence, 1998.

[Eiter et al. "Computing Intersections of Horn Theories for Reasoning with Models." AAAI Conference on Artificial Intelligence, 1998.](https://mlanthology.org/aaai/1998/eiter1998aaai-computing/)

@inproceedings{eiter1998aaai-computing,
  title     = {{Computing Intersections of Horn Theories for Reasoning with Models}},
  author    = {Eiter, Thomas and Ibaraki, Toshihide and Makino, Kazuhisa},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1998},
  pages     = {292-297},
  url       = {https://mlanthology.org/aaai/1998/eiter1998aaai-computing/}
}