D.  Aquilino, Asirelli, P., Renso, C., and Turini, F., ?Applying Restriction Constraints to Deductive Databases?, Ann. Math. Artif. Intell., vol. 19, pp. 3-25, 1997.