1. Abiteboul, S. and Grumbach, S., “A Rule-Based Language with Functions and Sets,”ACM Trans. on Database Systems, 16, 1, pp. 1–30, 1991.
2. Aravindam, C. and Dung, P. M., “Partial deduction of Logic Programs wrt Well-Founded Semantics,”New Generation Computing, 13, pp. 45–74, 1994.
3. Brass, S. and Dix, J., “Disjunctive Semantics based upon Partial and Bottom-Up Evaluation,” inProc. of the 12th International Conf. on Logic Programming (Leon Sterling, ed.), Tokyo, MIT Press, pp. 199–213, Jun. 1995.
4. Brass, S. and Dix, J., “Characterizations of the Disjunctive Well-founded Semantics: Confluent Calculi and Iterated GCWA,” to appear inJournal of Automated Reasoning, 1997. Extended abstract appeared in: “Characterizing D-WFS: Confluence and Iterated GCWA,”Logics in Artificial Intelligence, JELIA '96, LNCS 1126, Springer-Verlag, pp. 268–283, 1996.
5. Beeri, C. and Naqvi, S. et al, “Sets and Negation in a Logic Database Language (LDL1),” inProc. 6th ACM Symp. on Principles of Database Systems, pp. 21–37, 1987.