1. D. M. Gabbay — Semantical. Investigations in Heyting’s Intuitionistic Logic. D. Reidel pub. comp. 1981.
2. D. M. Gabbay — Intuitionistic Basis for non monotonic Logic, Proceedings of 6th conference of automated deduction, D. W. Loveland, editor, Leciure notes in computer science 138, Springer-Verlag, 1982, pp. 260–273.
3. J. McCarthy — Circumscription, a form of non monotonic reasoning, in Artificial Intelligence 13, 1980, pp. 27–39.
4. B. Moore — Semantical considerations on non monotonic logics, Proc. 8th Int. Joint conference on Artificial Intelligence, 1983, pp. 272–279.
5. R. Reiter — A logic of default reasoning, in Artificial Intelligence 13, 1980, pp. 81–132.