Schwartzbach, M. I. (1990) “Type Inference with Inequalities”, DAIMI Report Series, 19(336). doi: 10.7146/dpb.v19i336.6566.