[1] |
Clifford, A. H.; Preston, G. B., The algebraic theory of semigroups, American Mathematical Society, Vol. II (1967) · Zbl 0178.01203 |
[2] |
Stickel, M. E., A complete unification algorithm for associative-comunitative functions, Proceedings of the 4th International Joint Conference on Artificial intelligence (1975), Tbilisi |
[3] |
M. Livesey and J. Siekmann, Unification of A + C-terms (bags) and A + C + I-terms (sets), Interner Bericht Nr. 3/76, Institut für Iformatik I, Universität Karlstuhe.; M. Livesey and J. Siekmann, Unification of A + C-terms (bags) and A + C + I-terms (sets), Interner Bericht Nr. 3/76, Institut für Iformatik I, Universität Karlstuhe. |
[4] |
Huet, G., An algorithm to generate the basis of solutios homogenoeus linear diophantine equations, Rapport Laboratoria no. 274 (1978), IRIA |