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.

D. Ara and G. Maltsiniotis, Le type d'homotopie de la ?-catégorie associée à un complexe simplicial, 2015.

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

J. Backelin, A distributiveness property of augmented algebras, and some re-lated homological results, 1983.

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.
DOI : 10.1007/978-94-007-1092-4_4

J. Backelin and R. Fröberg, Koszul algebras, Veronese subrings and rings with linear resolutions, Rev. Roumaine Math. Pures Appl, vol.30, issue.2, pp.85-97, 1985.

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

R. Berger, C. , and K. , Confluence and Koszulity, Journal of Algebra, vol.201, issue.1, pp.243-283, 1998.
DOI : 10.1006/jabr.1997.7249
URL : https://doi.org/10.1006/jabr.1997.7249

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.1016/j.crma.2003.10.009
URL : http://arxiv.org/pdf/math/0310070

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.

M. Bremner and V. Dotsenko, Algebraic operads: An algorithmic companion, 2016.
DOI : 10.1201/b20061

K. S. Brown, The Geometry of Rewriting Systems: A Proof of the Anick-Groves-Squier Theorem, Math. Sci. Res. Inst. Publ, vol.23, pp.137-163, 1989.
DOI : 10.1007/978-1-4613-9730-4_6

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), 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
URL : https://doi.org/10.1016/0304-3975(93)90054-w

N. M. Günther, Sur les modules des formes algébriques, Tr. Tbilis. Mat. Inst, vol.9, pp.97-206, 1941.

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

H. Grauert, ???ber die deformation isolierter singularit???ten analytischer mengen, Inventiones Mathematicae, vol.3, issue.Number 5, pp.171-198, 1972.
DOI : 10.1007/BF01404124

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.

L. Edward, R. Q. Green, and . Huang, Projective resolutions of straightening closed algebras generated by minors, Adv. Math, vol.110, issue.2, pp.314-333, 1995.

Y. Guiraud and P. Malbos, Higher-dimensional categories with finite derivation type, Theory Appl, Categ, vol.22, issue.18, pp.420-478, 2009.

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

G. Huet, Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems: Abstract Properties and Applications to Term Rewriting Systems, Journal of the ACM, vol.27, issue.4, pp.797-821, 1980.
DOI : 10.1145/322217.322230

M. Janet, Sur les systèmes d'équations aux dérivées partielles, J. Math. Pures Appl, vol.8, issue.3, pp.65-151, 1920.

D. Khudaverdyan, A. Mandal, and N. Poncin, Higher categorified algebras versus bounded homotopy algebras, Theory Appl, Categ, vol.25, issue.10, pp.251-275, 2011.

D. Knuth and P. Bendix, Simple word problems in universal algebras, Computational Problems in Abstract Algebra, Proc. Conf, pp.263-297, 1967.

F. S. Macaulay, The algebraic theory of modular systems, 1916.

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
URL : https://doi.org/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

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

M. Saito, B. Sturmfels, and N. Takayama, Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol.6, 2000.

A. I. Shirshov, Some Algorithmic Problems for Lie Algebras, Sib. Mat. Zh, vol.3, pp.292-296, 1962.
DOI : 10.1007/978-3-7643-8858-4_13

E. Sköldberg, Morse theory from an algebraic viewpoint, Transactions of the American Mathematical Society, vol.358, issue.1, pp.115-129, 2006.
DOI : 10.1090/S0002-9947-05-04079-1

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
URL : https://doi.org/10.1016/0304-3975(94)90175-9

R. Street, Limits indexed by category-valued 2-functors, Journal of Pure and Applied Algebra, vol.8, issue.2, pp.149-181, 1976.
DOI : 10.1016/0022-4049(76)90013-X
URL : https://doi.org/10.1016/0022-4049(76)90013-x

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

M. Wambst, Complexes de Koszul quantiques, Annales de l???institut Fourier, vol.43, issue.4, pp.1089-1156, 1993.
DOI : 10.5802/aif.1366
URL : http://archive.numdam.org/article/AIF_1993__43_4_1089_0.pdf