Finding reducts for ordinal decision tables | IEEE Conference Publication | IEEE Xplore