Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions.

Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli

Browse the full PODS paper archive.