Comments on "Computing Irredundant Normal Forms from Abbreviated Presence Functions" | IEEE Journals & Magazine | IEEE Xplore