Higher-Order Unification via Explicit Substitutions (Extended Abstract)

Higher-Order Unification via Explicit Substitutions (Extended Abstract) Gilles Dowek Thérèse Hardin Claude Kirchner 366-374 conf/lics/LICS10 1995 conf/lics/1995 LICS db/conf/lics/lics95.html http://doi.ieeecomputersociety.org/10.1109/LICS.1995.523271