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

M. A. Bednarczyk, A. M. Borzyszkowski, and W. Pawlowski, Generalized Congruences ? Epimorphisms in Cat, Theory and Applications of Categories, vol.5, issue.11, pp.266-280, 1999.

M. Bezem, J. W. Klop, and R. De-vrijer, Term rewriting systems, 2003.

F. Borceux, Handbook of Categorical Algebra 1. Basic Category Theory. Encyclopedia of Mathematics and its Applications, 1994.

A. Burroni, Higher-dimensional word problems with applications to equational logic. Theoretical computer science, pp.43-62, 1993.

F. Clerc and S. Mimram, Presenting a Category Modulo a Rewriting System, LIPIcs-Leibniz International Proceedings in Informatics Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015.

B. Day, Note on monoidal localisation, Bulletin of the Australian Mathematical Society, vol.8, issue.01, pp.1-16, 1973.
DOI : 10.1016/0022-4049(72)90021-7

P. Dehornoy, On completeness of word reversing, Discrete Mathematics, vol.225, issue.1-3, pp.93-119, 2000.
DOI : 10.1016/S0012-365X(00)00149-7

P. Gabriel and M. Zisman, Calculus of fractions and homotopy theory, 38 P.L. CURIEN AND S. MIMRAM, 1967.
DOI : 10.1007/978-3-642-85844-4

Y. Guiraud and P. Malbos, Polygraphs of finite derivation type, Mathematical Structures in Computer Science, vol.5
DOI : 10.1017/S096012951100065X

URL : https://hal.archives-ouvertes.fr/hal-00932845

Y. Guiraud, P. Malbos, and S. Mimram, A Homotopical Completion Procedure with Applications to Coherence of Monoids, RTA ? 24th International Conference on Rewriting Techniques and Applications, pp.223-238, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00818253

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

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

J. Lévy, Réductions correctes et optimales dans le lambda-calcul, 1978.

S. and M. Lane, Categories for the working mathematician, 1998.
DOI : 10.1007/978-1-4612-9839-7

S. Mimram, Towards 3-Dimensional Rewriting Theory, Logical Methods in Computer Science, vol.10, issue.2, pp.1-47, 2014.
DOI : 10.2168/LMCS-10(2:1)2014

M. H. Newman, On theories with a combinatorial definition of, Annals of mathematics, pp.223-243, 1942.

A. J. Power, An n-categorical pasting theorem, Category theory, pp.326-358, 1991.

J. Power and E. Robinson, Premonoidal categories and notions of computation, Mathematical structures in computer science, pp.453-468, 1997.
DOI : 10.1017/S0960129597002375

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

H. Tietze, Über die topologischen Invarianten mehrdimensionaler Mannigfaltigkeiten, Monatshefte für Mathematik und Physik, pp.1-118, 1908.