1. Bry, F. (1996) A Compositional Semantics for Logic Programs and Deductive Databases, in Proc. of the Joint Int. Conf. and Symp. on Logic Programming MIT Press, 453–467.
2. Bry, F., Decker, II., and Manthey, R. (1988) A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases, in Proc. Int. Conf. Extending Data Base Technology Springer-Verlag LNCS 303, 488–505.
3. Chakravarthy, U.S., Grant, J., and Minker, J. (1990) Logic-Based Approach to Semantic Query Optimization. ACM Transactions on Database Systems, 15, 2, 162–207.
4. Cholvy, L. (1990) Answering Queries Addressed to a Rule Base. Revue d’Intelligence Artificielle, 1, 1, 79–98.
5. Clark, K. (1978) Negation as Failure. in (Gallaire and Minker 1978).