%0 Conference Proceedings
%F lehe91
%A Lei\ss, Hans
%A Henglein, Fritz
%T A Decidable Case of the Semi-Unification Problem
%B Proc. 16th Int'l Symp. on Mathematical Foundations of Computer Science (MFCS), Poland
%V 520
%P 318-327
%S Lecture Notes in Computer Science
%I Springer
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/leiss1991a.pdf
%8 September
%D 1991