Alon Y. Levy, Yehoshua Sagiv. Constraints and Redundancy in Datalog. In Proceedings of the Eleventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 2-4, 1992, San Diego, California. pages 67-80, ACM Press, 1992. [doi]
Abstract is missing.