Termination and Confluence of Rule Execution.
Leonie van der Voort|Arno Siebes
| Anthology ID: | DBLP:conf/cikm/VoortS93 |
|---|---|
| Volume: | CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993 |
| Year: | 1993 |
| Venue: | International Conference on Information and Knowledge Management (CIKM) |
| Publisher: | ACM |
| Pages: | 245-255 |
| URL: | https://doi.org/10.1145/170088.170142 |
| DOI: | https://doi.org/10.1145/170088.170142 |
| DBLP: | conf/cikm/VoortS93 |
| BibTeX: |
@inproceedings{voort-1993-termination,
author = {Leonie van der Voort and
Arno Siebes},
editor = {Bharat K. Bhargava and
Tim Finin and
Yelena Yesha},
title = {{Termination and Confluence of Rule Execution}},
booktitle = {{CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993}},
pages = {245--255},
publisher = {ACM},
year = {1993},
url = {https://doi.org/10.1145/170088.170142},
doi = {https://doi.org/10.1145/170088.170142}
}