1. Nuel D. Belnap, Jr. How a computer should think. In Contemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, pages 30–56, 1975.
2. Nuel D. Belnap, Jr. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern Uses of Multiple- Valued Logic, pages 8–37, Reidel, 1977.
3. Ronald Fagin and Joseph Y. Halpern. Belief, awareness, and limited reasoning: preliminary report. In Proceedings IJCAI-85, pages 491–501, Los Angeles, California, August 1985.
4. Associative Networks: Representation and Use of Knowledge by Computers.;Findier,1979
5. Alan M. Frisch. Knowledge Retrieval as Specialized Inference. PhD thesis, Computer Science Department, University of Rochester, August 1986.