Sequential logic optimization by redundancy addition and removal | Publicación