1. Anderson, A.R., Belnap Jr., N.D.: Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press (1975)
2. Anderson, A.R., Belnap Jr., N.D., Dunn, J.M.: Entailment: The Logic of Relevance and Necessity, vol. 2. Princeton University Press (1992)
3. Basit, S., Goto, Y.: FreeEnCal: an extension of reciprocal logic for trust reasoning: a case study in PKI. In: Nguyen, N.T., Tran, T.K., Tukayev, U., Hong, T., Trawiński, B., Szczerbicki, E. (eds.), Intelligent Information and Database Systems. ACIIDS 2022, LNCS, vol. 13757, pp. 496–506. Springer, Cham (2022). https://doi.org/10.1007/978-3-031-21743-2_39
4. Cheng, J.: Entailment calculus as the logical basis of automated theorem finding in scientific discovery. In: Raul, V. (ed.) Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium, pp. 105–110. AAI Press (1995)
5. Frontiers in Artificial Intelligence and Applications;J Cheng,2000