Ordering-Based Strategies for Horn Clauses

Dershowitz. "Ordering-Based Strategies for Horn Clauses." International Joint Conference on Artificial Intelligence, 1991.

[Dershowitz. "Ordering-Based Strategies for Horn Clauses." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/dershowitz1991ijcai-ordering/)

@inproceedings{dershowitz1991ijcai-ordering,
  title     = {{Ordering-Based Strategies for Horn Clauses}},
  author    = {Dershowitz, Nachum},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {118-125},
  url       = {https://mlanthology.org/ijcai/1991/dershowitz1991ijcai-ordering/}
}