Merging in the Horn Fragment

Haret et al. "Merging in the Horn Fragment." International Joint Conference on Artificial Intelligence, 2015.

[Haret et al. "Merging in the Horn Fragment." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/haret2015ijcai-merging/)

@inproceedings{haret2015ijcai-merging,
  title     = {{Merging in the Horn Fragment}},
  author    = {Haret, Adrian and Rümmele, Stefan and Woltran, Stefan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3041-3047},
  url       = {https://mlanthology.org/ijcai/2015/haret2015ijcai-merging/}
}