Jayen Vaghani Kotagiri Ramamohanarao David B. Kemp Zoltan Somogyi Peter J. Stuckey Design Overview of the Aditi Deductive Database System. 0- 1990 Workshop on Deductive Databases db/conf/deductive/deductive90.html#VaghaniRKSS90