Fast left-linear semi-unification (1990)

by F Henglein
Venue:In Proc. Int’l. Conf. on Computing and Information