H. Baues, Combinatorial homotopy and 4-dimensional complexes, de Gruyter Expositions in Mathematics, vol.2, 1991.
DOI : 10.1515/9783110854480

H. Baues and W. Dreckmann, The cohomology of homotopy categories and the general linear group, K-Theory, vol.3, issue.4, pp.307-338, 1989.
DOI : 10.1007/BF00584524

H. Baues and M. Jibladze, Classification of Abelian Track Categories, K-Theory, vol.25, issue.3, pp.299-311, 2002.
DOI : 10.1023/A:1015607114629

H. Baues and E. Gabriel-minian, Track Extensions of Categories and Cohomology, K-Theory, vol.23, issue.1, pp.1-13, 2001.
DOI : 10.1023/A:1017521709521

R. Brown and J. Huebschmann, Identities among relations, Low-dimensional topology, London Math. Soc. Lecture Note Ser, vol.48, pp.153-202, 1979.

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

R. Cremanns and F. Otto, For Groups the Property of Having Finite Derivation Type is equivalent to the Homological Finiteness ConditionFP3, Journal of Symbolic Computation, vol.22, issue.2, pp.155-177, 1996.
DOI : 10.1006/jsco.1996.0046

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

A. Heyworth and C. D. Wensley, Logged rewriting and identities among relators, Groups St Andrews 2001 in Oxford, Soc. Lecture Note Ser, vol.304, pp.256-276, 2003.

M. Mikhail, M. Kapranov, and . Saito, Hidden Stasheff polytopes in algebraic K-theory and in the space of Morse functions, Higher homotopy structures in topology and mathematical physics, Contemp. Math. Amer. Math. Soc, vol.227, pp.191-225, 1996.

C. Kassel and J. Loday, Extensions centrales d'alg??bres de Lie, Annales de l???institut Fourier, vol.32, issue.4, pp.119-142, 1982.
DOI : 10.5802/aif.896
URL : http://archive.numdam.org/article/AIF_1982__32_4_119_0.pdf

J. Loday, Homotopical syzygies, Contemp. Math, vol.265, pp.99-127, 1999.
DOI : 10.1090/conm/265/04245
URL : https://hal.archives-ouvertes.fr/hal-00139450

M. Herman and A. Newman, On theories with a combinatorial definition of "equivalence, Annals of Mathematics, vol.43, issue.2, pp.223-243, 1942.

R. Peiffer and Ü. Identitäten-zwischen-relationen, ???ber Identit???ten zwischen Relationen, Mathematische Annalen, vol.114, issue.1, pp.67-99, 1949.
DOI : 10.1007/BF01329617

T. Porter, Crossed modules in Cat and a Brown-Spencer theorem for 2-categories, Cahiers de Topologie et, Géométrie Différentielle Catégoriques, vol.26, issue.4, pp.381-388, 1985.

K. Reidemeister and Ü. Identitäten-von-relationen, ??ber Identit??ten von Relationen, Abhandlungen aus dem Mathematischen Seminar der Universitat Hamburg, vol.16, issue.3-4, pp.114-118, 1949.
DOI : 10.1007/BF03343521

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

C. Craig, F. Squier, Y. Otto, and . Kobayashi, A finiteness condition for rewriting systems, Theoret. Comput. Sci, vol.131, issue.2, pp.271-294, 1994.

H. Whitehead, Combinatorial homotopy. I, Bulletin of the American Mathematical Society, vol.55, issue.3, pp.213-245, 1949.
DOI : 10.1090/S0002-9904-1949-09175-9