1. Baral, C., Lobo, J., Minker, J.: Generalized well-founded semantics for logic programs. In: 10th International Conference on Automated Deduction (1990)
2. Brass, S., Dix, J.: Semantics of (Disjunctive) Logic Programs Based on Partial Evaluation. Journal of Logic Programming 38(3), 167–213 (1999)
3. Fernández, J.A., Minker, J.: Bottom-up computation of perfect models for disjunctive theories. Journal of Logic Programming 25(1), 33–51 (1995)
4. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th Int. Conf. on Logic Programming, pp. 1070–1080. MIT Press, Cambridge (1988)
5. Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. MIT Press, Cambridge (1992)