ML Anthology

Equational Reasoning Using AC Constraints

David A. Plaisted, Yunshan Zhu
IJCAI 1997 pp. 108-113
/ijcai/1997/plaisted1997ijcai-equational/
PDF IJCAI Semantic Scholar

Cite

Text

Plaisted and Zhu. "Equational Reasoning Using AC Constraints." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Plaisted and Zhu. "Equational Reasoning Using AC Constraints." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/plaisted1997ijcai-equational/)

BibTeX

@inproceedings{plaisted1997ijcai-equational,
  title     = {{Equational Reasoning Using AC Constraints}},
  author    = {Plaisted, David A. and Zhu, Yunshan},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {108-113},
  url       = {https://mlanthology.org/ijcai/1997/plaisted1997ijcai-equational/}
}