Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions (Extended Abstract) (1993)

by Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli
Venue:In Proceedings of the ACM Symposium on Principles of Database Systems