Schwartzbach, M. I. “Type Inference With Inequalities”. DAIMI Report Series, vol. 19, no. 336, Oct. 1990, doi:10.7146/dpb.v19i336.6566.