A decidable case of the semi-unification problem - Leiß, Hans; Henglein, Fritz (CIS, 1991)