Henglein, Fritz Fritz Haber Institute, Max Planck Society;
Henglein, F. (1989). Polymorphic Type Inference and Semi-Unification. PhD Thesis, Rutgers, The State University of New Jersey, New Brunswick.