Piero Fraternali Ernest Teniente Toni Urpí Validating Active Rules by Planning. 181-196 1997 conf/rules/1997 Rules in Database Systems db/conf/rules/rules97.html#FraternaliTU97 http://dx.doi.org/10.1007/3-540-63516-5_25