Irredundant and redundant Boolean branch-networks | IEEE Journals & Magazine | IEEE Xplore