conf/pods/93 Alon Y. Levy Inderpal Singh Mumick Yehoshua Sagiv Oded Shmueli Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. 109-122 journals/anthology/cd1-3:PODS93/P109.PDF journals/anthology/dvd1:text/1-3/PODS93/P109.PDF 1993 PODS db/conf/pods/pods93.html#LevyMSS93 http://doi.acm.org/10.1145/153850.153860 db/conf/pods/LevyMSS93.html conf/sigmod/AbiteboulH88 conf/pods/ChaudhuriV92 conf/stoc/CosmadakisGKV88 conf/lics/GaifmanMSV87 conf/pods/KanellakisKR90 ... conf/pods/LevyS92 conf/pods/Shmueli87 books/cs/Ullman88 books/cs/Ullman89 journals/algorithmica/UllmanG88 ... conf/pods/Vardi89