The reduction generated algorithm of minimal disjunctive normal form based on discernibility matrix | IEEE Conference Publication | IEEE Xplore