Enric Mayol Joan Antoni Pastor Ernest Teniente Toni Urpí FOLRE: A Deductive Database System for the Integrated Treatment of Updates. 35-50 1997 conf/rules/1997 Rules in Database Systems db/conf/rules/rules97.html#MayolPTU97