1. G. Bossu, and P. Siegel, 1985 . The saturation to the rescue of the non-monotonicity. Artificial Intelligence. To be published.
2. Negation as Failure
3. Logic for Data Description
4. J. McCarthy, 1977 . Epistemological problems of artificial intelligence. Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Cambridge, Mass., 1977, pp.1038 -1044 .
5. Circumscription—A form of non-monotonic reasoning