TY - JOUR T1 - Applying Restriction Constraints to Deductive Databases JF - Ann. Math. Artif. Intell. Y1 - 1997 A1 - Domenico Aquilino A1 - Patrizia Asirelli A1 - Chiara Renso A1 - Franco Turini VL - 19 ER -