The undecidability of the semi-uni cation problem (1993)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Inf. Comput