Analysis of redundant structures in combinational circuits | Publicación