1. Asirelli, P., De Santis, M., Martelli, M., Integrity Constraints in Logic Data Bases, Journal of Logic Programming, Vol. 2, n. 3, Oct. 1985.
2. P. Asirelli, P. Inverardi, A. Mustaro “Improving Integrity constraint Checking in Deductive Databases”, International Conference on Database Theory, 29 Agoust, 2 September 1988, Bruges, Belgium, LNCS 326.
3. Decker, H., Integrity Enforcement on Deductive Databases, 1st International Conference on Expert Database Systems, Charleston, S.C., 1986, pp. 271–285.
4. Lloyd, J. W., Foundations of logic programming, Symbolic Computation Series, Springer, 1987, Second Edition.
5. Lloyd, J. W., Sonenberg, E.,A., Topor, R. W., Integrity Constraint Checking in Stratified Databases, J. Logic Programming 4(4): 331–343, 1987.