An efficient procedure for obtaining implication relations and its application to redundancy identification | IEEE Conference Publication | IEEE Xplore