1. Fril-Fuzzy and Evidential Reasoning in Artificial Intelligence;Baldwin,1995
2. Paraconsistent logic programming;Blair. V.S. Subrahmanian;Theoret. Comput. Sci.,1989
3. T.H. Cao, P.N. Creasy, V. Wuwongse, Fuzzy types and their lattices, in: Proc. 6th IEEE Internat. Conf. on Fuzzy Systems, 1997, pp. 805–812.
4. Fuzzy unification and resolution proof procedure for fuzzy conceptual graph programs;Cao,1997
5. Annotated fuzzy logic programs for soft computing;Cao,1998