Jean Goubault Higher-Order Rigid E-Unification. 129-143 1994 conf/lpar/1994 LPAR db/conf/lpar/lpar94.html#Goubault94 http://dx.doi.org/10.1007/3-540-58216-9_34