Logic decomposition of speed-independent circuits | Publicación