1. A. Aggoun, D. Chan, P. Dufresne, et al. Eclipse user manual release 5.0, 2000.
2. C. Anger, K. Konczak, and T. Linke. NoMoRe: A system for non-monotonic reasoning under answer set semantics. InW. Faber T. Eiter and M. Truszczyński, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR’01), pages 406–410. Springer, 2001.
3. P. Cholewiński, V. Marek, A. Mikitiuk, and M. Truszczyński. Experimenting with nonmonotonic reasoning. In Proceedings of the International Conference on Logic Programming, pages 267–281. MIT Press, 1995.
4. M. Gelfond and V. Lifschitz. Classical negation in logic programs and deductive databases. New Generation Computing, 9:365–385, 1991.
5. P. Simons I. Niemel and T. Soininen. Stable model semantics of weight constraint rules. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Proceedings of the 5th International Conferenceon Logic Programming and Nonmonotonic Reasoning (LPNMR’99), volume 1730 of Lecture Notes in Artificial Intelligence, pages 177–191, El Paso, Texas, USA, 1999. Springer Verlag.