1. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, Seattle, USA, August 1988, pp. 1070–1080. MIT Press, Cambridge (1988)
2. Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing 9, 365–385 (1991)
3. Janhunen, T.: LPEQ 1.13 — a tool for testing the equivalence of logic programs. Computer Program (2002),
http://www.tcs.hut.fi/Software/lpeq/
4. Janhunen, T.: GnT (version 2) — a tool for computing disjunctive stable models. Computer Program (2003),
http://www.tcs.hut.fi/Software/gnt/
5. Janhunen, T., Niemelä, I., Seipel, D., Simons, P., You, J.-H.: Unfolding partiality and disjunctions in stable model semantics. CoRR: cs.AI/0303009 (March 2003)