Runkler, Thomas A., Chen, Chao, Coupland, Simon, John, Robert, "Comparing Intervals Using Type Reduction", , 2020