A resolution procedure based on a fuzzy logic | IEEE Conference Publication | IEEE Xplore