1. J. Alfereira, L. Pereira, An argumentation theoretic semantics based on non-refutable falsity, in: Proceedings of International Workshop on Nonmonotonic Extensions of Logic Programming, Lecture Notes in Computer Science, 1994
2. K. Apt, H. Blair, A. Walker, Towards a theory of declarative knowledge, in: Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, San Mateo, CA, 1988, pp. 89–148
3. C. Aravindan, An Abductive Framework for Negation in Disjunctive Logic Programming, Technical Report, University of Koblenz–Landau, 1996
4. Generalized disjunctive well-founded semantics for logic programs;Baral;Ann. Math AI,1992
5. P. Bonatti, Autoepistemic logics as a unifying framework for the semantics of logic programs, in: Proceedings of the Joint International Conference and Symposium on Logic Programming, MIT Press, Cambridge, MA, 1992, pp. 69–86