1. Bidoit, N. and Froidevaux, C., “Minimalism Subsumes Default Logic and Cricumscription,” inProc. of LICS-87, pp. 89–97, 1987.
2. Bidoit, N. and Froidevaux, C., “Negation by Default and Nonstratifiable Logic Programs,”Technical Report, 437, Université Paris XI, 1988.
3. Blair, H. and Subrahmanian, V. S., “Paraconsistent Logic Programming,”Theoretical Computer Science, 68, pp. 135–154, 1989.
4. Fitting, M., “A Kripke-Kleene Semantics for Logic Programs,”Journal of Logic Programming, 2, 4, pp. 295–312, 1985.
5. Gelfond, M. and Lifschitz, V., “The Stable Model Semantics for Logic Programming,” inLogic Programming (R. Kowalski and K. Bowen, eds.):Proc. of the Fifth Int’l Conf. and Symp., pp. 1070–1080, 1988.