1. Baral, C. and Gelfond, M. (1994), Logic Programming and Knowledge Representation Journal of Logic Programming, 19/20, 73–148.
2. Ben-Eliyahu, R. and Dechter, R. (1994), Propositional Semantics for Disjunctive Logic Programs. Annals of Mathematics and Artificial Intelligence, 12, 53–87.
3. Brass, S. and Dix, J. (1995), Disjunctive Semantics Based upon Partial and Bottom-Up Evaluation, in “Proc. of the 12th Int. Conf. on Logic Programming,” Tokyo, pp. 199–213, MIT Press.
4. Decker, H., Celma, M. (1994) A slick procedure for integrity checking in deductive databases, “Proc. of the Eleventh Int. Conference on Logic Programming, S. Margherita Ligure”, Italy, pp. 456–469, MIT Press.
5. Eiter, T., Gottlob, G. and Mannila, H. (1994), Adding Disjunction to Datalog, in “Proc. ACM PODS-94,” pp. 267–278.