The undecidability of the semi-uni problem (1989)

by A J Kfoury, J Tiruyn, P Urzyczyn
Venue:Proc. ACM Symp. on Theory of Computing