Kwong-Sak Leung Y. T. So Consistency checking for fuzzy expert systems. 263-282 1993 9 Int. J. Approx. Reasoning 3 http://dx.doi.org/10.1016/0888-613X(93)90013-4 db/journals/ijar/ijar9.html#LeungS93