A new reasoning scheme for efficient redundancy addition and removal | IEEE Journals & Magazine | IEEE Xplore