1. Ackermann, W., 1956, Begründung einer strengen” Implikation, Journal of Symbolic Logic, 21:113–128.
2. Anderson, A. R. and Belnap, N. D. Jr., 1962, The Pure Calculus of Entailment, Journal of Symbolic Logic, 27:19–52.
3. Anderson, A. R. and Belnap, N. D. Jr., 1975, “Entailment, the Logic of Relevance and Necessity,” vol. 1, Princeton University Press, Princeton.
4. Bacon, J., 1966, “Being and Existence: Two Ways of Formal Ontology,” Ph.D. thesis, Yale University, New Haven.
5. Belnap, N. D. Jr., 1959, “The Formalization of Entailment,” Ph.D. thesis, Yale University, New Haven.