D. J. Anick, On the homology of associative algebras, Trans. Amer. Math. Soc, vol.296, issue.2, pp.641-659, 1986.

F. Baader and T. Nipkow, Term rewriting and all that, 1998.

T. Becker, Stability and Buchberger criterion for standard bases in power series rings, J. Pure Appl. Algebra, vol.66, issue.3, pp.219-227, 1990.

R. Berger, K. J. Confluence, and . Algebra, , vol.201, pp.243-283, 1998.

R. Berger, Koszulity for nonquadratic algebras, J. Algebra, vol.239, issue.2, pp.705-734, 2001.

G. M. Bergman, The diamond lemma for ring theory, Adv. in Math, vol.29, issue.2, pp.178-218, 1978.

L. A. Bokut, Imbeddings into simple associative algebras. Algebra i Logika, vol.15, pp.117-142, 1976.

B. Buchberger, A theoretical basis for the reduction of polynomials to canonical forms, ACM SIGSAM Bull, vol.10, issue.3, pp.19-29, 1976.

C. Chenavier, Confluence Algebras and Acyclicity of the Koszul Complex, Algebr. Represent. Theory, vol.19, issue.3, pp.679-711, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01141738

C. Chenavier, Reduction operators and completion of rewriting systems, J. Symbolic Comput, vol.84, pp.57-83, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01325907

C. Chenavier, A lattice formulation of the noncommutative F 4 procedure, Internat. J. Algebra Comput, vol.29, issue.1, pp.23-40, 2019.

C. Chenavier, Syzygies among reduction operators, J. Pure Appl. Algebra, vol.223, issue.2, pp.721-737, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01578555

V. Dotsenko and A. Khoroshkin, Gröbner bases for operads, Duke Math. J, vol.153, issue.2, pp.363-396, 2010.

C. Faggian, Probabilistic rewriting: Normalization, termination, and unique normal forms, 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 2019.

S. Gaussent, Y. Guiraud, and P. Malbos, Coherent presentations of Artin monoids, Compos. Math, vol.151, issue.5, pp.957-998, 2015.
URL : https://hal.archives-ouvertes.fr/hal-00682233

L. Gerritzen and R. Holtkamp, On Gröbner bases of noncommutative power series, Indag. Math. (N.S.), vol.9, issue.4, pp.503-519, 1998.

Y. Guiraud, E. Hoffbeck, and P. Malbos, Convergent presentations and polygraphic resolutions of associative algebras, Math. Z, pp.1-67, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01006220

Y. Guiraud and P. Malbos, Higher-dimensional normalisation strategies for acyclicity, Adv. in Math, vol.231, issue.3-4, pp.2294-2351, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00531242

Y. Guiraud and P. Malbos, Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018.
URL : https://hal.archives-ouvertes.fr/hal-00932845

H. Hironaka, Resolution of singularities of an algebraic variety over a field of characteristic zero. I, II, Ann. of Math, vol.79, issue.2, pp.205-326, 1964.

C. G. Jamal-hossein-poor, G. Raab, and . Regensburger, Algorithmic operator algebras via normal forms in tensor rings, J. Symbolic Comput, vol.85, pp.247-274, 2018.

A. Kandri-rody and V. Weispfenning, Noncommutative Gröbner bases in algebras of solvable type, J. Symbolic Comput, vol.9, issue.1, pp.1-26, 1990.

Y. Kobayashi, Complete rewriting systems and homology of monoid algebras, J. Pure Appl. Algebra, vol.65, issue.3, pp.263-275, 1990.

B. Kriegk, M. Van-den, and . Bergh, Representations of non-commutative quantum groups, Proc. Lond. Math. Soc, vol.110, issue.3, pp.57-82, 2015.

T. Mora, An introduction to commutative and noncommutative Gröbner bases, Theoret. Comput. Sci, vol.134, issue.1, pp.131-173, 1994.

M. Petitot, Algèbre non commutative en Scratchpad: application au problème de la réalisation minimale analytique, 1992.

B. Stewart, Priddy. Koszul resolutions. Trans. Amer. Math. Soc, vol.152, pp.39-60, 1970.

C. Reutenauer, Séries formelles et algèbres syntactiques, J. Algebra, vol.66, issue.2, pp.448-483, 1980.

A. I. ?ir?ov, Some algorithm problems for Lie algebras, Sibirsk. Mat. ?, vol.3, pp.292-296, 1962.

C. C. Squier, Word problems and a homological finiteness condition for monoids, J. Pure Appl. Algebra, vol.49, issue.1-2, pp.201-217, 1987.