Journal of Pure and Applied Mathematics: Advances and Applications[1] F. Baader and T. Nipkow, Term rewriting and all that, Cambridge
University Press, 1999.
[2] R. Baer, Free sums of groups and their generalizations: An
analysis of the associative law, American Journal of Mathematics 71(3)
(1949), 706-742.
[3] G. M. Bergman, The diamond lemma for ring theory, Advances in
Mathematics 29 (1978), 178-218.
[4] J. Berstel, D. Perrin and C. Reutenauer, Codes and Automata,
Volume 129 of Encyclopedia of Mathematics and its Applications,
Cambridge University Press, 2009.
[5] D. Bessis, F. Digne and J. Michel, Springer theory in braid groups
and the Birman Ko Lee monoid, Pacific J. Math. 205 (2002), 287-310.
[6] D. Bessis, The dual braid monoid, Ann. Scient. Éc. Norm. Sup. 4e
série, t. 36 (2003), 647-683.
[7] R. V. Book and F. Otto, String-rewriting systems, Texts and
Monographs in Computer Science, Springer-Verlag, 1993.
[8] N. Bourbaki, Algebra - Chapters 1-3, Springer, 1989.
[9] R. H. Bruck, A Survey of Binary Systems, Springer-Verlag, 1958.
[10] P. Conrad, Generalized semigroup rings II, Portugalia
Mathematica, 18(1) (1959), 33-53.
[11] D. V. Dekov, Embeddability and the word problem, The Journal of
Symbolic Logi. 60(4) (1995), 1194-1198.
[12] D. V. Dekov, Deciding embeddability of partial groupoids into
semigroups, Semigroup Forum, 58 (1999), 395-414.
[13] G. H. E. Duchamp, L. Poinsot, S. Goodenough, and K. A. Penson,
Statistics on Graphs, Exponential Formula and Combinatorial Physics,
In Proceedings of the 3rd International Conference on Complex Systems
and Applications - ICCSA 2009, Le Havre, France, (2009), 60-63.
[14] S. Eilenberg, Automata, languages, and machines, Vol. 1, Volume
59 of Pure and Applied Mathematics, Academic Press, 1976.
[15] C. Germain and J. Pallo, Languages rationnels définis avec une
concaténation non-associative, Theoretical Computer Science, 233
(2000), 217-231.
[16] G. Grätzer, Universal Algebra, D. Van Nostrand Company, Inc.,
1968.
[17] S. P. Gudder, Partial algebraic structures associated with
orthomodular posets, Pacific Journal of Mathematics. 41(3) (1972),
717-730.
[18] G. Huet, Confluent reductions: Abstract properties and
applications to term rewriting systems, Journal of the ACM 27(4)
(1980), 797-821.
[19] G. Huet, A complete proof of correctness of the Knuth-Bendix
completion algorithm, J. Computer and System Sciences 23 (1981),
11-21.
[20] M. Jantzen, Confluent String Rewriting, Volume 14 of EATCS
Monographs on Theoretical Computer Science, Birkhäuser, 1988.
[21] D. E. Knuth and P. B. Bendix, Simple word problems in universal
algebras, Computational Problems in Abstract Algebra (Ed. J. Leech),
(1970), 263-297.
[22] Y. Lafont, Algebra and geometry of rewriting, Applied Categorical
Structures, 14(4) (2007), 415-437.
[23] R. Lalement, Logique, Réduction, Résolution, Études et
Recherches en Informatique, Masson, 1990.
[24] P. Le Chenadec, Canonical Forms in Finitely Presented Algebras,
Research Notes in Theoretical Computer Science, Pitman, John Wiley &
Sons, Inc., 1986.
[25] E. S. Ljapin and A. E. Evseev, The Theory of Partial Algebraic
Operations, Volume 414 of Mathematics and its Applications, Kluwer
Academic, 1997.
[26] S. Mac Lane, Categories for the Working Mathematician (Second
ed.), Volume 5 of Graduate Texts in Mathematics, Springer, 1997.
[27] M. H. A. Newman, On theories with a combinatorial definition of
equivalence, Annals of Mathematics 43 (1942), 223-243.
[28] G. Segal, Configuration-spaces and iterated loop-spaces, Invent.
Math. 21(3) (1973), 213-221.
[29] P. A. Smith, The complex of a group relative to a set of
generators, Part I, Annals of Mathematics 54(2) (1951), 371-402.
[30] J. D. Stasheff, Homotopy associativity of H-spaces I,
Transactions of the American Mathematical Society 108(2) (1963),
275-292.
[31] D. Tamari, Le problème de l’associativité des monoïdes et le
problème des mots pour les demigroupes, algèbres partielles et
chaînes élémentaires, Séminaire Dubreil-Pisot (Algèbre et
Théorie des Nombres) 8 (1971), 1-15.
[32] Terese, Term Rewriting Systems, Volume 55 of Cambridge Tracts in
Theoretical Computer Science, Cambridge University Press, 2003.
[33] A. Wilce, Partial abelian semigroups, Int. J. Theory Physics
34(8) (1995), 1807-1812.
