Comparing Intervals Using Type Reduction | IEEE Conference Publication | IEEE Xplore