1. N.D. Belnap, Jr. (1977) A useful four-valued logic. In M. Dunn and G. Epstein (eds.) Modern Uses of Multiple-Valued Logic, D. Reidel, Dordrecht, pp. 8–41.
2. A. Bochman (1995) On bimodal nonmonotonic logics and their unimodal and non-modal equivalents. Proc. IJCAI'95, pp. 1518–1524.
3. A. Bochman (1996) Biconsequence relations for nonmonotonic reasoning. In L.C. Aiello, J. Doyle, and S.C. Shapiro (eds.) Principles of Knowledge Representation and Reasoning: Proc. Fifth Int. Conference (KR'96), Morgan Kauffman, San Francisco, CA.
4. A. Bochman (1996) On a logical basis of normal logic programs. Fundamenta Informaticae, 28:223–245.
5. A. Bochman (1996) On logics and semantics for general logic programs. In J. Dix, L. Pereira, and T. Przymusinski (eds.) Proc. 2nd Workshop on Nonmonotonic Extensions of Logic Programming. LNAI, Springer Verlag.