%0 Conference Proceedings
%F ktu90b
%A Kfoury, A.
%A Tiuryn, J.
%A Urzyczyn, P.
%T The Undecidability of the Semi-Unification Problem
%B Proc. 22nd Annual ACM Symp. on Theory of Computation (STOC), Baltimore, Maryland
%P 468-476
%8 May
%D 1990
%K parametricity