A Decidable Case of the Semi-Unification Problem.

Hans Lei, Fritz Henglein

Browse the full MFCS paper archive.