Sequence unification through currying (2007)

by T Kutsia, J Levy, M Villaret
Venue:In: Proc. of the 18th Int. Conf. on Rewriting Techniques and Applications, RTA’07