Elmar Eder Properties of Substitutions and Unifications. 31-46 1985 1 J. Symb. Comput. 1 db/journals/jsc/jsc1.html#Eder85