1. A. Anderson and N. Belnap,Entailment: The Logic of Relevance and Necessity (Princeton University Press, Princeton, NJ, 1975).
2. N. Belnap, A useful four-valued logic, in:Modern Uses of Many-Valued Logics, eds. G. Eppstein and J. Dunn (Reidel, Dordrecht, Netherlands, 1977) pp. 8–37.
3. R. Boppana and M. Sipser, The complexity of finite functions, in:Handbook of Theoretical Computer Science, ed. J. van Leeuwen. Vol. A, Chapter 14 (Elsevier Science Publishers B.V., North-Holland, 1990).
4. M. Cadoli and M. Schaerf, Approximate inference in default reasoning and circumscription, in:Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92) (August 1992) pp. 319–323. Full version appears inFundamenta Informaticae 23 (1995) 123–143.
5. M. Cadoli and M. Schaerf, Approximate reasoning and non-omniscient agents, in:Proceedings of the Fourth Conference on Theoretical Aspects of Reasoning about Knowledge (TARK-92) (1992) pp. 169–183. Full version appears inArtificial Intelligence Journal 74 (1995) 249–310.