1. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
2. Fuzzy hyper-resolution: a semantic inference rule with fuzzy concepts;Kim;Proc. Korea Fuzzy Math. and Systems Soc. Spring Conf. ’93,1993
3. A fuzzy hyper-resolution using compensatory operators;Kim;J. Korea Inform. Sci. Soc.,1994
4. Fuzzy Sets, Uncertainty, and Information, International editions;Klir,1988
5. Fuzzy logic and the resolution principle;Lee;J. ACM,1972