The Undecidability of the Semi-Unification Problem (Preliminary Report)

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn

Browse the full STOC paper archive.