1. C. Baral and V.S. Subrahmanian (1992) Stable and extension class theory for logic programs and default logics. J. of Automated Reasoning, 8: 345–366.
2. 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.
3. H.A. Blair and V.S. Subrahmanian (1989) Paraconsistent logic programming. Theoretical Computer Science, 68: 135–154.
4. A. Bochman (1995) Default consequence relations as a logical framework for logic programs. Proc. Third International Conference on Logic Programming and Non-monotonic Reasoning, LPNMR'95, Lecture Notes in Artificial Intelligence, 928, pp. 245–258.
5. A. Bochman (1995) On bimodal nonmonotonic logics and their unimodal and non-modal equivalents. Proc. IJCAP95, pp. 1518–1524.