Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoning.

Yong-Gi Kim, Ladislav J. Kohout

Browse the full SAC paper archive.