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:
- cikm_conference
- Publisher:
- ACM
- Pages:
- 245–255
- URL:
- https://doi.org/10.1145/170088.170142
- DOI:
- 10.1145/170088.170142
- DBLP:
- conf/cikm/VoortS93
