Higher-Order Equational Unification via Explicit Substitutions (1997)

by C Kirchner, C Ringeissen
Venue:Preliminary version in Proceedings 11th ACM Symposium on Principles of Programming Languages, Salt Lake City (USA), 1984. 25