J. David and . Anick, On monomial algebras of finite global dimension, Trans. Amer. Math. Soc, vol.291, issue.1, pp.291-310, 1985.

J. David, E. L. Anick, and . Green, On the homology of quotients of path algebras, Comm. Algebra, vol.15, issue.12, pp.309-341, 1987.

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

J. Backelin, S. Cojocaru, and V. Ufnarovski, The computer algebra package Bergman: current state, Commutative algebra, singularities and computer algebra (Sinaia, NATO Sci. Ser. II Math. Phys. Chem, vol.115, pp.75-100, 2002.

C. John, A. S. Baez, and . Crans, Higher-dimensional algebra. VI. Lie 2-algebras, Theory Appl, Categ, vol.12, pp.492-538, 2004.

H. Baues and G. Wirsching, Cohomology of small categories, Journal of Pure and Applied Algebra, vol.38, issue.2-3, pp.187-211, 1985.
DOI : 10.1016/0022-4049(85)90008-8

R. Berger, Koszulity for Nonquadratic Algebras, Journal of Algebra, vol.239, issue.2, pp.705-734, 2001.
DOI : 10.1006/jabr.2000.8703

R. Berger and N. Marconnet, Koszul and Gorenstein Properties for Homogeneous Algebras, Algebras and Representation Theory, vol.153, issue.1, pp.67-97, 2006.
DOI : 10.1007/s10468-005-9002-1

G. M. Bergman, The diamond lemma for ring theory, Advances in Mathematics, vol.29, issue.2, pp.178-218, 1978.
DOI : 10.1016/0001-8708(78)90010-5

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

D. Bourn, Another denormalization theorem for abelian chain complexes, Journal of Pure and Applied Algebra, vol.66, issue.3, pp.229-249, 1990.
DOI : 10.1016/0022-4049(90)90029-H
URL : http://doi.org/10.1016/0022-4049(90)90029-h

B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal (An Algorithm for Finding the Basis Elements in the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal, English translation in J. of Symbolic Computation, Special Issue on Logic, Mathematics, and Computer Science: Interactions, vol.41, pp.3-4, 1965.

A. 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

S. Gaussent, Y. Guiraud, and P. Malbos, Coherent presentations of Artin monoids, Compositio Mathematica, vol.22, issue.05, pp.1203-5358, 2013.
DOI : 10.1090/pspum/056.2/1278735
URL : https://hal.archives-ouvertes.fr/hal-00682233

E. Green and R. Q. Huang, Projective Resolutions of Straightening Closed Algebras Generated by Miners, Advances in Mathematics, vol.110, issue.2, pp.314-333, 1995.
DOI : 10.1006/aima.1995.1013

L. Edward and . Green, Noncommutative Gröbner bases, and projective resolutions, Computational methods for representations of groups and algebras, Progr. Math, vol.173, pp.29-60, 1997.

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

H. Hironaka, Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: II, The Annals of Mathematics, vol.79, issue.2, pp.79-109, 1964.
DOI : 10.2307/1970547

Y. Kobayashi, Gröbner bases of associative algebras and the Hochschild cohomology, Transactions of the American Mathematical Society, vol.357, issue.03, pp.1095-1124, 2005.
DOI : 10.1090/S0002-9947-04-03556-1

T. Leinster, Higher operads, higher categories, 2004.
DOI : 10.1017/CBO9780511525896
URL : http://arxiv.org/abs/math/0305049

J. L. Loday and B. Vallette, Algebraic operads, Grundlehren Der Mathematischen Wissenschaften, vol.346, 2012.
DOI : 10.1007/978-3-642-30362-3

B. Mitchell, Rings with several objects, Advances in Mathematics, vol.8, issue.1, pp.1-161, 1972.
DOI : 10.1016/0001-8708(72)90002-3
URL : http://doi.org/10.1016/0001-8708(72)90002-3

T. Mora, An introduction to commutative and noncommutative Gr??bner bases, Second International Colloquium on Words, Languages and Combinatorics, pp.131-173, 1992.
DOI : 10.1016/0304-3975(94)90283-6

M. Newman, On Theories with a Combinatorial Definition of "Equivalence", The Annals of Mathematics, vol.43, issue.2, pp.43-223, 1942.
DOI : 10.2307/1968867

A. Polishchuk and L. Positselski, Quadratic algebras, 2005.
DOI : 10.1090/ulect/037

A. Illarionovich and S. , Some algorithmic problems for Lie algebras, Sib. Mat. Zh, vol.3, pp.292-296, 1962.

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

R. Street, The algebra of oriented simplexes, Journal of Pure and Applied Algebra, vol.49, issue.3, pp.149-181, 1976.
DOI : 10.1016/0022-4049(87)90137-X

A. Victor and . Ufnarovskij, Combinatorial and asymptotic methods in algebra, Algebra, VI, Encyclopaedia Math. Sci, vol.57, pp.1-196, 1995.