ML Anthology

A New Proof of Tractability for ORD-Horn Relations

Gerard Ligozat
AAAI 1996 pp. 395-401
/aaai/1996/ligozat1996aaai-new/
PDF AAAI Semantic Scholar

Cite

Text

Ligozat. "A New Proof of Tractability for ORD-Horn Relations." AAAI Conference on Artificial Intelligence, 1996.

Markdown

[Ligozat. "A New Proof of Tractability for ORD-Horn Relations." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/ligozat1996aaai-new/)

BibTeX

@inproceedings{ligozat1996aaai-new,
  title     = {{A New Proof of Tractability for ORD-Horn Relations}},
  author    = {Ligozat, Gerard},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {395-401},
  url       = {https://mlanthology.org/aaai/1996/ligozat1996aaai-new/}
}