Skolem Functions and Equality in Automated Deduction

AAAI 1990 pp. 246-251

/aaai/1990/mccune1990aaai-skolem/

Cite

Text

McCune. "Skolem Functions and Equality in Automated Deduction." AAAI Conference on Artificial Intelligence, 1990.

Markdown

[McCune. "Skolem Functions and Equality in Automated Deduction." AAAI Conference on Artificial Intelligence, 1990.](https://mlanthology.org/aaai/1990/mccune1990aaai-skolem/)

BibTeX

@inproceedings{mccune1990aaai-skolem,
  title     = {{Skolem Functions and Equality in Automated Deduction}},
  author    = {McCune, William},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1990},
  pages     = {246-251},
  url       = {https://mlanthology.org/aaai/1990/mccune1990aaai-skolem/}
}