D. Anick, On the homology of associative algebras. Transactions of the, pp.641-659, 1986.

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

P. Dehornoy and Y. Lafont, Homology of gaussian groups Annales de l'Institut Fourier, pp.489-540, 2003.

E. Goubault, Some geometric perspectives in concurrency theory. Homology, Homotopy and Applications, pp.95-136, 2003.

Y. Guiraud, Termination orders for three-dimensional rewriting, Journal of Pure and Applied Algebra, vol.207, issue.2, pp.341-371, 2006.
DOI : 10.1016/j.jpaa.2005.10.011

Y. Guiraud, The three dimensions of proofs, Annals of Pure and Applied Logic, vol.141, issue.1-2, pp.266-295, 2006.
DOI : 10.1016/j.apal.2005.12.012
URL : https://hal.archives-ouvertes.fr/hal-00092212

Y. Guiraud, Two polygraphic presentations of Petri nets, Theoretical Computer Science, vol.360, issue.1-3, pp.124-146, 2006.
DOI : 10.1016/j.tcs.2006.02.015
URL : https://hal.archives-ouvertes.fr/hal-00092209

A. Joyal and M. Tierney, Strong stacks and classifying spaces, Category Theory, Proc. Int. Conf., Como/Italy 1990, number 1488 in Lect. Notes Math, pp.213-236, 1991.
DOI : 10.2307/1970725

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

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

Y. Lafont, Towards an algebraic theory of Boolean circuits, Journal of Pure and Applied Algebra, vol.184, issue.2-3, pp.257-310, 2003.
DOI : 10.1016/S0022-4049(03)00069-0

Y. Lafont, Algebra and geometry of rewriting Applied Categorical Structures, pp.415-437, 2007.

Y. Lafont, F. Métayer, and K. Worytkiewicz, A folk model structure on omega-cat, Advances in Mathematics, vol.224, issue.3, 2007.
DOI : 10.1016/j.aim.2010.01.007
URL : https://hal.archives-ouvertes.fr/hal-00194231

P. Malbos, Fox calculus on term rewriting systems. manuscript, 2004.

F. Métayer, Resolutions by polygraphs, Theory and Applications of Categories, vol.11, issue.7, pp.148-184, 2003.

F. Métayer, Cofibrant objects among higher-dimensional categories. Homology, Homotopy and Applications, pp.181-203, 2008.

J. Power, An n-categorical pasting theorem, Category Theory, Proc. Int. Conf., Como/Italy 1990, number 1488 in Lect. Notes Math, pp.326-358, 1991.
DOI : 10.1007/bfb0084230

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

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

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

R. Thomason, Cat as a closed model category, pp.305-324, 1980.

K. Worytkiewicz, K. Hess, P. Parent, and A. Tonks, A model structure ?? la Thomason on <mml:math altimg="si1.gif" display="inline" overflow="scroll" xmlns:xocs="http://www.elsevier.com/xml/xocs/dtd" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.elsevier.com/xml/ja/dtd" xmlns:ja="http://www.elsevier.com/xml/ja/dtd" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:tb="http://www.elsevier.com/xml/common/table/dtd" xmlns:sb="http://www.elsevier.com/xml/common/struct-bib/dtd" xmlns:ce="http://www.elsevier.com/xml/common/dtd" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:cals="http://www.elsevier.com/xml/common/cals/dtd"><mml:mstyle mathvariant="bold"><mml:mi>2</mml:mi></mml:mstyle><mml:mtext><ce:bold>-</ce:bold></mml:mtext><mml:mstyle mathvariant="bold"><mml:mi>Cat</mml:mi></mml:mstyle></mml:math>, Journal of Pure and Applied Algebra, vol.208, issue.1, pp.205-236, 2007.
DOI : 10.1016/j.jpaa.2005.12.010