Computing non-redundant bases of if-then rules from data tables with graded attributes | IEEE Conference Publication | IEEE Xplore