Sergio Flesca Sergio Greco Declarative semantics for active rules. 43-69 2001 1 TPLP 1 db/journals/tplp/tplp1.html#FlescaG01