Elena Baralis Stefano Ceri Jennifer Widom Better Termination Analysis for Active Databases. 163-179 1993 Rules in Database Systems db/conf/rules/rules93.html#BaralisCW93