Leonie van der Voort Arno Siebes Enforcing Confluence of Rule Execution. 194-207 1993 Rules in Database Systems db/conf/rules/rules93.html#VoortS93