1

A.R. Anderson and N. D. Belnap Jr.' Entailment: The Logic of Relevance and Necessity, Vol. 1, Princeton University Press, 1975.

2

Ronald J. Brachman , Hector J. Levesque, Readings in Knowledge Representation, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1985

3

J. Cheng: Relevance Logic and Entailment Logic: A Comparative Study of Paradox- Free Logics, Memoirs of the Faculty of Engineering, Kyushu University, Vol. 50, No. 2, pp. 57-73, 1990.

4

J. Cheng: Entailment Lattices as Algebraic Models of Entailment Logic, Proc. of International Conference on Information Technology Harmonizing with Society, Part 2, pp. 17-24, Tokyo, japan, 1990.

5

J. Cheng: C- A Propositional Logic for Conditionals, IEICE Technical Report, Vol. 90, No. 259, AI90-59, pp. 1-6, 1990.

6

J. Cheng, An algebraic semantics of notional entailment logic Cn, Information Processing Letters, v.36 n.3, p.117-121, Nov. 1990  [doi>10.1016/0020-0190(90)90079-D]

7

J. Cheng and K. Ushijima: Nonmonotonic Reasoning Based on Entailment Logic, Proc. of the 4th International Symposium on Knowledge Engineering, Barcelona, Spain, 1.990.

8

J.M. Dunn' Relevance Logic and Entailment, in D. Gabbay and F. Guenthner (eds.)' Handbook of Philosophical Logic, Vol. III, D. Reidel, pp. 117-224, 1986.

9

Matthew L. Ginsberg, Readings in nonmonotonic reasoning, Morgan Kaufmann Publishers Inc., San Francisco, CA, 1987

10

G. E Hughes. and M. J. Cresswell' An Introduction to Modal Logic, Hethuen and Co., Ltd. London, 1972.

11

D. Israel' A Short Companion to the Naive Physics Manifesto, in j. R. Hobbs and R. C. Moore (eds.), Formal Theories of the Commonsense World, pp. 427-447, 1985.

12

G. Kolata: How Can Computers Get Common Sense? - Two of the founders of the field of artificial intelligence disagree on how to make a th~nking machine, Science, Vol. 217, pp. 1237-1238, 1982.

13

Hector J Levesque, Knowledge representation and reasoning, Annual review of computer science vol. 1, 1986, Annual Reviews Inc., Palo Alto, CA, 1986

14

B. Lin' Entailment Logic - The Combination of Traditional Logic and Modern Logic, Guizhou, 1985 (in Chinese).

15

B. Lin: Entailment System - Propositional Calculus System Cm and Notional Calculus System Cn (appendix in B. Lin: Entailment Logic- The Combination of Traditional Logic and Modern Logic), Guizhou, 1985 (in English).

16

B. Lin: The Motivation of Constructing Entailment Logic, Proc. of the 8th International Congress of Logic, Methodology and Philosophy of Science, Vol. 5, Moscow, 1987.

17

R.C. Moore: The Role of Logic in Knowledge Representation and Commonsense Reasoning, Proc. of AAAi- 82, pp. 428-433, 1982.

18

D. Nute: Topics in Conditional Logic, D. Reidel, 1980.

19

D. Nute: Conditional Logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, pp. 387-439, D. Reidel, 1984.

20

R. Reiter: Nonmonotonic Reasoning, Annual Review of Computer Science, Vol. 2, pp. 147-186, 1987.

21

R. Routley, V. Plumwood, R. K. Meyer, and R. T. Brady' Relevant Logics and Their Rivals, Part I: The Basic Philosophical and Semantical Theory, Ridgeview, Atascadero, California, 1982.

22

H. Wang: Popular Lectures on Mathematical Logic, Van Nostrand Reinhold, 1981.

Jingde Cheng, The Task Dependence Net in Ada software development, ACM SIGAda Ada Letters, v.XII n.4, p.24-35, July/Aug. 1992

Jingde Cheng: colleagues