@article {AART97, title = {Applying Restriction Constraint to Deductive Databases}, journal = {Annals of Mathematics and Artificial Intelligence}, year = {1997}, note = {1997}, pages = {3{\textendash}25}, author = {Domenico Aquilino and Patrizia Asirelli and Chiara Renso and Franco Turini} }