ML Anthology

Incorporating Generalization Heuristics into Verification of Prolog Programs

Hirohisa Seki
IJCAI 1985 pp. 737-741
/ijcai/1985/seki1985ijcai-incorporating/
PDF Semantic Scholar

Cite

Text

Seki. "Incorporating Generalization Heuristics into Verification of Prolog Programs." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Seki. "Incorporating Generalization Heuristics into Verification of Prolog Programs." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/seki1985ijcai-incorporating/)

BibTeX

@inproceedings{seki1985ijcai-incorporating,
  title     = {{Incorporating Generalization Heuristics into Verification of Prolog Programs}},
  author    = {Seki, Hirohisa},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {737-741},
  url       = {https://mlanthology.org/ijcai/1985/seki1985ijcai-incorporating/}
}