ML Anthology

Associative-Commutative Rewriting

Nachum Dershowitz, Jieh Hsiang, N. Alan Josephson, David A. Plaisted
IJCAI 1983 pp. 940-944
/ijcai/1983/dershowitz1983ijcai-associative/
PDF IJCAI Semantic Scholar

Cite

Text

Dershowitz et al. "Associative-Commutative Rewriting." International Joint Conference on Artificial Intelligence, 1983.

Markdown

[Dershowitz et al. "Associative-Commutative Rewriting." International Joint Conference on Artificial Intelligence, 1983.](https://mlanthology.org/ijcai/1983/dershowitz1983ijcai-associative/)

BibTeX

@inproceedings{dershowitz1983ijcai-associative,
  title     = {{Associative-Commutative Rewriting}},
  author    = {Dershowitz, Nachum and Hsiang, Jieh and Josephson, N. Alan and Plaisted, David A.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1983},
  pages     = {940-944},
  url       = {https://mlanthology.org/ijcai/1983/dershowitz1983ijcai-associative/}
}