1. Asirelli, P., De Santis, M. and M. Martelli. Integrity constraints in logic databases. J. Logic Programming, vol 2, number 3, 221–233, 1985.
2. Fitting, M. Kleene's three valued logics and their children. August, 1993. Manuscript.
3. Gelfond, M and V.Lifschitz. The stable model semantics for logic programming. In R.A.Kowalski and K.A.Bowen, editors, 5th ICLP, 1070–1080. MIT Press, 1988.
4. Gelfond, M and V.Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th ICLP, 579–597, MIT Press, 1990.
5. Kowalski, R. A. and F.Sadri. Logic Programs with exceptions. In Warren and Szeredi, editors, 7th ICLP, 588–613. MIT Press, 1990.