Design Overview of the Aditi Deductive Database System.

Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey

Browse the full ICDE paper archive.