Termination and Confluence of Rule Execution. - Leonie van der Voort; Arno Siebes (CIKM, 1993)

Enforcing Confluence of Rule Execution. - Leonie van der Voort; Arno Siebes (Rules in Database Systems, 1993)