1. Apt, K.R., Blair, H., Walker, A.: Towards a theory of declarative knowledge. In: Minker, J. (ed.) Proc. Workshop on Found. of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufman, San Francisco (1988)
2. Arni, N., Ong, K., Tsur, S., Zaniolo, C.: LDL++: A Second Generation Deductive Databases Systems. Technical report, MCC Corporation (1993)
3. Balbin, I., Port, G.S., Ramamohanarao, K., Meenakshi, K.: Efficient Bottom-up Computation of Queries on Stratified Databases. Journal of Logic Programming 11, 295–344 (1991)
4. Brogi, A., Subrahmanian, V.S., Zaniolo, C.: The Logic of Totally and Partially Ordered Plans: a Deductive Database Approach. Annals of Mathematics in Artificial Intelligence 19, 59–96 (1997)
5. Chomicki, J.: Temporal deductive databases. In: Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.) Temporal Databases: Theory, Design and Implementation, pp. 294–320. Benjamin Cummings (1993)