On the Properties of Irredundant Logic Networks | IEEE Journals & Magazine | IEEE Xplore