1. K. Apt and R. Bol. Logic programming and negation: A survey. In Journal of Logic Programming, volume 19/20, pages 9–72. Elsevier, May/July 1994.
2. T. Eiter, N. Leone, C. Mateis, G. Pfeifer, and F. Scarcello. The KR system dlv: Progress report, comparisons and benchmarks. In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, KR’98: Principles of Knowledge Representation and Reasoning, pages 406–417, San Francisco, California, 1998. Morgan Kaufmann.
3. I. Niemelä and P. Simons. Efficient implementation of the well-founded and stable model semantics. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, pages 289–303, Bonn, Germany, 1996. MIT Press.
4. Z. Pawlak. Rough sets. Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht, 1991.
5. D. Pearce. Answer sets and constructive logic, II: Extended logic programs and related non-monotonic formalisms. In L. Pereira and A. Nerode, editors, Logic Programming and Nonmonotonic Reasoning — proceedings of the second international workshop, pages 457–475. MIT Press, 1993.