M. I. Schwartzbach, “Type Inference with Inequalities”, DPB, vol. 19, no. 336, Oct. 1990.