1. Towards a theory of declarative knowledge;Apt,1988
2. Propositional semantics for disjunctive logic programs;Ben-Eliyahu,1992
3. Positivism versus minimalism in deductive databases;Bidoit,1986
4. Minimalism, justification and non-monotonicity in deductive databases;Bidoit;Journal of Computer and System Science,1989
5. The complexity of propositional closed world reasoning and circumscription;Cadoli,1993