The undecidability of the semi-unification problem (1990)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:In Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing