Jerzy Tiuryn, and Pawel Urzyczyn. The undecidability of the semi-unification problem (1990)

by Assaf J Kfoury
Venue:In STOC ’90: Proceedings of the Twenty-Second Annual ACM Symposium on Theory of Computing