ML Anthology

A Methodology for Proving Termination of General Logic Programs

Elena Marchiori
IJCAI 1995 pp. 356-361
/ijcai/1995/marchiori1995ijcai-methodology/
PDF IJCAI Semantic Scholar

Cite

Text

Marchiori. "A Methodology for Proving Termination of General Logic Programs." International Joint Conference on Artificial Intelligence, 1995.

Markdown

[Marchiori. "A Methodology for Proving Termination of General Logic Programs." International Joint Conference on Artificial Intelligence, 1995.](https://mlanthology.org/ijcai/1995/marchiori1995ijcai-methodology/)

BibTeX

@inproceedings{marchiori1995ijcai-methodology,
  title     = {{A Methodology for Proving Termination of General Logic Programs}},
  author    = {Marchiori, Elena},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1995},
  pages     = {356-361},
  url       = {https://mlanthology.org/ijcai/1995/marchiori1995ijcai-methodology/}
}