1. Begruendung einer strengen Implikation;Ackermann;J. Symbolic Logic,1956
2. Entailment—The Logic of Relevance and Necessity;Anderson,1975
3. Principles of Constraint Programming;Apt,2003
4. N.D. Belnap, How a computer should think, in: Contemporary Aspects of Philosophy: Proceedings of the Oxford International Symposium, Oxford, 1975, pp. 30–56
5. The Logic of Questions and Answers;Belnap,1976