Nachum Dershowitz Subrata Mitra Higher-Order and Semantic Unification. 139-150 1993 conf/fsttcs/1993 FSTTCS db/conf/fsttcs/fsttcs93.html#DershowitzM93 http://dx.doi.org/10.1007/3-540-57529-4_49