1. R. Aczel. Saturated intuitionistic theories. In Contributions to Mathematical Logic, H. Schmidt, K. Schütte and H. Thiele, eds. pp. 1–13. North Holland, Amsterdam, 1968.
2. J. F. A. K. van Benthem. A Manual of Intensional Logic. Vol. 1 of CSLI Lecture Notes. CSLI publications, Stanford, CA, 1984.
3. S. Blarney. Partial logic. In Handbook of Philosophical Logic, Vol 111: Alternatives to Classical Logic, D. M. Gabbay and F. Guenthner, eds. pp. 1–70. Reidel, Dordrecht, 1986.
4. J. Dietrich and H. Herre. Outline of nonmonotonic model theory. Technical Report NTZ-5:94, Universitaet Leipzig Institut fuer Informatik, 1994.
5. J. Dietrich. Deductive basis of nonmonotonic inference operations. Technical Report NTZ-7,94, Universitaet Leipzig Institut fuer Informatik, Leipzig, 1994.