ML Anthology

A Model Elimination Calculus for Generalized Clauses

Toni Bollinger
IJCAI 1991 pp. 126-131
/ijcai/1991/bollinger1991ijcai-model/
PDF Semantic Scholar

Cite

Text

Bollinger. "A Model Elimination Calculus for Generalized Clauses." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Bollinger. "A Model Elimination Calculus for Generalized Clauses." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/bollinger1991ijcai-model/)

BibTeX

@inproceedings{bollinger1991ijcai-model,
  title     = {{A Model Elimination Calculus for Generalized Clauses}},
  author    = {Bollinger, Toni},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {126-131},
  url       = {https://mlanthology.org/ijcai/1991/bollinger1991ijcai-model/}
}