Jayen Vaghani Kotagiri Ramamohanarao David B. Kemp Zoltan Somogyi Peter J. Stuckey Tim S. Leask James Harland The Aditi Deductive Datebase System. 161 1993 Workshop on Programming with Logic Databases (Informal Proceedings), ILPS db/conf/deductive/deductive93.html#VaghaniRKSSLH93