Generalized reasoning scheme for redundancy addition and removal logic optimization | Publicación