The undecidability of the semiunification problem (1990)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:In STOC ’90: Proceedings of the 22nd Annual ACM Symposium on Theory of Computing