Fitting Semantics for Conditional Term Rewriting

Cite

Text

Mohan. "Fitting Semantics for Conditional Term Rewriting." International Joint Conference on Artificial Intelligence, 1991.

Markdown

[Mohan. "Fitting Semantics for Conditional Term Rewriting." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/mohan1991ijcai-fitting/)

BibTeX

@inproceedings{mohan1991ijcai-fitting,
  title     = {{Fitting Semantics for Conditional Term Rewriting}},
  author    = {Mohan, Chilukuri K.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {857-862},
  url       = {https://mlanthology.org/ijcai/1991/mohan1991ijcai-fitting/}
}