1. Beazer R.: Finitely subdirectly irreducible algebras with pseudocomplementation. Algebra Universalis 12(1), 376–386 (1981)
2. Belnap, N. D., How a computer should think, in Contemporary Aspects of Philosophy, Oriel Press Ltd., Stocksfield, 1977, pp. 30–56.
3. Belnap, N. D., A useful four-valued logic, in J. M. Dunn and G. Epstein (eds.), Modern Uses of Multiple-Valued Logic, vol. 2 of Episteme, Springer, Amsterdam, 1977, pp. 5–37.
4. Belnap N.D., Spencer J.: Intensionally complemented distributive lattices. Portugaliae Mathematica 25, 99–104 (1966)
5. Blok, W. J., and D. Pigozzi, Abstract algebraic logic and the deduction theorem, Manuscript, 2001.