Grobner bases, abstract tubes, and inclusion-exclusion reliability bounds | IEEE Journals & Magazine | IEEE Xplore