Anca Vaduva Stella Gatziu Klaus R. Dittrich Investigating Termination in Active Database Systems with Expressive Rule Languages. 149-164 1997 conf/rules/1997 Rules in Database Systems db/conf/rules/rules97.html#VaduvaGD97