D.  Aquilino, Asirelli, P., Renso, C., and Turini, F., ?Applying Restriction Constraint to Deductive Databases?, Annals of Mathematics and Artificial Intelligence, pp. 3?25, 1997.