Design overview of the Aditi deductive database system (1991)

by J Vaghani, K Ramamohanarao, D B Kemp, Z Somogyi, P J Stuckey
Venue:In Proceedings of the Seventh International Conference on Data Engineering