Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. In Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC. pages 109-122, ACM Press, 1993. [doi]
Abstract is missing.