Generating minimal covers of symmetric functions | IEEE Journals & Magazine | IEEE Xplore