Linear second-order unification (1996)

by J Levy
Venue:in ‘7th Int. Conf. on Rewriting Techniques and Applications, RTA’96