Extending the Resolution Method with Sorts

IJCAI 1993 pp. 60-65

/ijcai/1993/weidenbach1993ijcai-extending/

Cite

Text

Weidenbach. "Extending the Resolution Method with Sorts." International Joint Conference on Artificial Intelligence, 1993.

Markdown

[Weidenbach. "Extending the Resolution Method with Sorts." International Joint Conference on Artificial Intelligence, 1993.](https://mlanthology.org/ijcai/1993/weidenbach1993ijcai-extending/)

BibTeX

@inproceedings{weidenbach1993ijcai-extending,
  title     = {{Extending the Resolution Method with Sorts}},
  author    = {Weidenbach, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1993},
  pages     = {60-65},
  url       = {https://mlanthology.org/ijcai/1993/weidenbach1993ijcai-extending/}
}