doi dblp Termination and Confluence of Rule Execution Leonie van der Voort | Arno Siebes CIKM 93, Proceedings of the Second International Conference on Information and Knowledge Management, Washington, DC, USA, November 1-5, 1993