Authors: E.Domenjoud

Citation: E.domenjoud, A Tecnical Note on AC-Unification. The Number of Minimal Unifiers of Equation ax1+...+axp = acby1+...+byq, Journal of automated reasoning , 8(1), 1992, pp. 39-44