K. Brieskorn and . Saito, Artin-Gruppen und Coxeter-Gruppen, Inventiones Mathematicae, vol.I, issue.4, pp.245-271, 1972.
DOI : 10.1007/BF01406235

. Burroni, Higher-dimensional word problems with applications to equational logic, Theoretical Computer Science, vol.115, issue.1, pp.43-62, 1993.
DOI : 10.1016/0304-3975(93)90054-W

R. Cain, A. Gray, and . Malheiro, Finite Gröbner?Shirshov bases for plactic algebras and biautomatic structures for plactic monoids, pp.16-2012

M. Cassaigne, F. Espie, D. F. Hivert, J. Krob, and . Novelli, THE CHINESE MONOID, International Journal of Algebra and Computation, vol.11, issue.03, pp.301-334, 2001.
DOI : 10.1142/S0218196701000425
URL : https://hal.archives-ouvertes.fr/hal-00622609

. Deligne, Les immeubles des groupes de tresses g???n???ralis???s, Inventiones Mathematicae, vol.4, issue.1, pp.273-302, 1972.
DOI : 10.1007/BF01406236

. Deligne, Action du groupe des tresses sur une cat???gorie, Inventiones Mathematicae, vol.128, issue.1, pp.159-175, 1997.
DOI : 10.1007/s002220050138

D. Duchamp and . Krob, Plactic-growth-like monoids, World Sci. Publ, pp.124-142, 1992.

. Garside, THE BRAID GROUP AND OTHER GROUPS, The Quarterly Journal of Mathematics, vol.20, issue.1, pp.235-254, 1969.
DOI : 10.1093/qmath/20.1.235

Y. Gaussent, P. Guiraud, and . Malbos, Coherent presentations of Artin groups, pp.1203-5358, 2013.

P. Guiraud and . Malbos, Higher-dimensional categories with finite derivation type, Theory Appl. Categ, vol.22, issue.18, pp.420-478, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00326974

P. Guiraud and . Malbos, Coherence in monoidal track categories, Mathematical Structures in Computer Science, vol.26, issue.06, pp.931-969, 2012.
DOI : 10.1090/S0002-9904-1965-11234-4
URL : https://hal.archives-ouvertes.fr/hal-00470795

P. Guiraud and . Malbos, Higher-dimensional normalisation strategies for acyclicity, Advances in Mathematics, vol.231, issue.3-4, pp.2294-2351, 2012.
DOI : 10.1016/j.aim.2012.05.010
URL : https://hal.archives-ouvertes.fr/hal-00531242

P. Guiraud and . Malbos, Identities among relations for higher-dimensional rewriting systems, Semin. Congr, vol.26, pp.145-161, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00426228

P. Kapur and . Narendran, A finite thue system with decidable word problem and without equivalent finite canonical system, Theoretical Computer Science, vol.35, issue.2-3, pp.337-344, 1985.
DOI : 10.1016/0304-3975(85)90023-4

E. Knuth, Permutations, matrices, and generalized Young tableaux, Pacific Journal of Mathematics, vol.34, issue.3, pp.709-727, 1970.
DOI : 10.2140/pjm.1970.34.709
URL : http://projecteuclid.org/download/pdf_1/euclid.pjm/1102971948

E. Knuth and P. B. Bendix, Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra (Proc. Conf, pp.263-297, 1967.
DOI : 10.1007/978-3-642-81955-1_23

. Kobayashi, Complete rewriting systems and homology of monoid algebras, Journal of Pure and Applied Algebra, vol.65, issue.3, pp.263-275, 1990.
DOI : 10.1016/0022-4049(90)90106-R

. Lafont, A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier), Journal of Pure and Applied Algebra, vol.98, issue.3, pp.229-244, 1995.
DOI : 10.1016/0022-4049(94)00043-I

A. Lafont and . Prouté, Church-Rooser property and homology of monoids, Mathematical Structures in Computer Science, vol.21, issue.03, pp.297-326, 1991.
DOI : 10.1017/S096012950000133X

M. Lascoux and . Schützenberger, Le monoïde plaxique In Noncommutative structures in algebra and geometric combinatorics (Naples, 1978), volume 109 of Quad, Ricerca Sci. CNR, pp.129-156, 1981.

. Littelmann, A Plactic Algebra for Semisimple Lie Algebras, Advances in Mathematics, vol.124, issue.2, pp.312-331, 1996.
DOI : 10.1006/aima.1996.0085

. Mimram, Computing Critical Pairs in 2-Dimensional Rewriting Systems, LIPIcs, vol.6, pp.227-242, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00473983

. Pedersen, Morphocompletion for one-relation monoids, RTA, pp.574-578, 1989.
DOI : 10.1007/3-540-51081-8_141

. Schensted, Longest increasing and decreasing subsequences, Journal canadien de math??matiques, vol.13, issue.0, pp.179-191, 1961.
DOI : 10.4153/CJM-1961-015-3

C. Squier, Word problems and a homological finiteness condition for monoids, Journal of Pure and Applied Algebra, vol.49, issue.1-2, pp.201-217, 1987.
DOI : 10.1016/0022-4049(87)90129-0

C. Squier and F. Otto, The word problem for finitely presented monoids and finite canonical rewriting systems, Proc. of RTA'87, pp.74-82, 1987.
DOI : 10.1007/3-540-17220-3_7

C. Squier, F. Otto, and Y. Kobayashi, A finiteness condition for rewriting systems, Theoretical Computer Science, vol.131, issue.2, pp.271-294, 1994.
DOI : 10.1016/0304-3975(94)90175-9

. Tietze, ??ber die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatshefte f??r Mathematik und Physik, vol.19, issue.1, pp.1-118, 1908.
DOI : 10.1007/BF01736688

. Tits, A Local Approach to Buildings, The geometric vein, pp.519-547, 1981.
DOI : 10.1007/978-1-4612-5648-9_35