A fast algorithm for cofactor implication checking and its application for knowledge discovery | IEEE Conference Publication | IEEE Xplore