1. Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. I. Princeton University Press, Princeton (1975)
2. Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. II. Princeton University Press, Princeton (1992)
3. Cheng, J.: Logical Tool of Knowledge Engineering: Using Entailment Logic rather than Mathematical Logic. In: Proc. ACM 19th Annual Computer Science Conference, pp. 228–238. ACM Press, New York (1991)
4. Cheng, J.: The Fundamental Role of Entailment in Knowledge Representation and Reasoning. Journal of Computing and Information 2(1), Special Issue: Proceedings of the 8th International Conference of Computing and Information. Waterloo, pp. 853-873 (1996)
5. Cheng, J.: EnCal: An Automated Forward Deduction System for General-Purpose Entailment Calculus. In: Terashima, N., Altman, E. (eds.) Advanced IT Tools, Proc. IFIP World Conference on IT Tools, IFIP 1996 − 14th World Computer Congress, pp. 507–514. CHAPMAN & HALL, London (1996)