ML Anthology

Universal Unification and Regular Equational ACFM Theories

Jörg H. Siekmann, Peter Szabó
IJCAI 1981 pp. 532-538
/ijcai/1981/siekmann1981ijcai-universal/
PDF IJCAI Semantic Scholar

Cite

Text

Siekmann and Szabó. "Universal Unification and Regular Equational ACFM Theories." International Joint Conference on Artificial Intelligence, 1981.

Markdown

[Siekmann and Szabó. "Universal Unification and Regular Equational ACFM Theories." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/siekmann1981ijcai-universal/)

BibTeX

@inproceedings{siekmann1981ijcai-universal,
  title     = {{Universal Unification and Regular Equational ACFM Theories}},
  author    = {Siekmann, Jörg H. and Szabó, Peter},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {532-538},
  url       = {https://mlanthology.org/ijcai/1981/siekmann1981ijcai-universal/}
}