On the power of discrete and of lexicographic Helly-type theorems | IEEE Conference Publication | IEEE Xplore