Albrecht Fortenbacher An Algebraic Approach to Unification Under Associativity and Commutativity. 217-229 1987 3 J. Symb. Comput. 3 db/journals/jsc/jsc3.html#Fortenbacher87