1. Q. Liu, Operator Rough Logic and Its Resolution Principles, Chinese Journal of Computer, 5 (1998), (in Chinese).
2. Z. Pawlak, Rough Set Theory, Theoretical Aspects of Reasoning about Data, Kluwer Academic Publishers, (1992).
3. Q. Liu, The Course of Atificial Itelligence, High Colloge Jion Publisher in JiangXi, 9 (1992), 75–76, (in Chinese).
4. X.H. Liu, Fuzzy Logic and Fuzzy Reasoning, Publisher of JiLin University in China, 5 (1989), 145–151, (in Chinese).
5. C.L. Chang, and R.C.T. Lee, Symbolic Logic and Its Machine Theorem Proving, (1973)