ML Anthology

The Markgraf Karl Refutation Procedure

Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther
IJCAI 1981 pp. 511-518
/ijcai/1981/blasius1981ijcai-markgraf/
PDF IJCAI Semantic Scholar

Cite

Text

Bläsius et al. "The Markgraf Karl Refutation Procedure." International Joint Conference on Artificial Intelligence, 1981.

Markdown

[Bläsius et al. "The Markgraf Karl Refutation Procedure." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/blasius1981ijcai-markgraf/)

BibTeX

@inproceedings{blasius1981ijcai-markgraf,
  title     = {{The Markgraf Karl Refutation Procedure}},
  author    = {Bläsius, Karl-Hans and Eisinger, Norbert and Siekmann, Jörg H. and Smolka, Gert and Herold, Alexander and Walther, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {511-518},
  url       = {https://mlanthology.org/ijcai/1981/blasius1981ijcai-markgraf/}
}