A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq.

Eric Domenjoud A Technical Note on AC-Unification. The Number of Minimal Unifiers of the Equation alpha x1 + . . . + alpha xp =AC beta y1 + . . . + beta yq. 39-44 1992 8 J. Autom. Reasoning 1 db/journals/jar/jar8.html#Domenjoud92