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. Brenner, W., Zarnekow, R., Wittig, H.: Intelligent Software Agents: Foundations and Applications. Springer, Heidelberg (1998)
4. Burgess, J.P.: Basic Tense Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 7, pp. 1–42. Kluwer Academic, Dordrecht (2002)
5. Cheng, J.: Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery. In: Systematic Methods of Scientific Discovery − Papers form the, Spring Symposium, Technical Report SS-95-03. AAAI Press, Melon Park, pp. 105–110 (1995)