The undecidability of the semi-unification problem (1990)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:In STOC ’90: Proceedings of the twenty-second annual ACM symposium on Theory of computing