ML Anthology

Next Steps in Propositional Horn Contraction

Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
IJCAI 2009 pp. 702-707
/ijcai/2009/booth2009ijcai-next/
PDF IJCAI Semantic Scholar

Cite

Text

Booth et al. "Next Steps in Propositional Horn Contraction." International Joint Conference on Artificial Intelligence, 2009.

Markdown

[Booth et al. "Next Steps in Propositional Horn Contraction." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/booth2009ijcai-next/)

BibTeX

@inproceedings{booth2009ijcai-next,
  title     = {{Next Steps in Propositional Horn Contraction}},
  author    = {Booth, Richard and Meyer, Thomas Andreas and Varzinczak, Ivan José},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2009},
  pages     = {702-707},
  url       = {https://mlanthology.org/ijcai/2009/booth2009ijcai-next/}
}