equational unification: the higher-order cases (1991)

by Rewriting
Venue:Proceedings of the 4th International Conference on Rewriting Techniques and Applications