conf/sigmod/88 Moshe Y. Vardi Database Logic Programming, Deductive Databases, and Expert Database Systems. 7 1988 SIGMOD Conference db/conf/sigmod/sigmod88.html#Vardi88 db/conf/sigmod/Vardi88.html SIGMOD88/P007.PDF