A decidable case of the semi-unification problem (1991)

by H Lei, F Henglein
Venue:In Proc. 16th Int'l Symp. on Mathematical Foundations of Computer Science (MFCS