Computational consequences and partial solutions of a generalized unification problem (1989)

by A Kfoury, J Tiuryn, P Urzyczyn
Venue:In Proc. 4th IEEE Symposium on Logic in Computer Science (LICS