The Aditi deductive database system (1994)

by J Vaghani, K Ramamohanarao, D B Kemp, Z Somogyi, P J Stuckey, T S Leask, J Harland
Venue:The VLDB Journal