%O Report 
%F ktu89b
%A Kfoury, A.
%A Tiuryn, J.
%A Urzyczyn, P.
%T The Undecidability of the Semi-Unification Problem
%N 0
%I Boston University
%8 October
%D 1989
%K parametricity