F. A. Al-agl, R. Brown, and R. Steiner, Multiple Categories: The Equivalence of a Globular and a Cubical Approach, Advances in Mathematics, vol.170, issue.1, pp.71-118, 2002.
DOI : 10.1006/aima.2001.2069

R. Brown and P. J. Higgins, Sur les complexes croises, omega-groupoides et t-complexes, 1977.

R. Brown and P. J. Higgins, On the algebra of cubes, Journal of Pure and Applied Algebra, vol.21, issue.3, pp.233-260, 1981.
DOI : 10.1016/0022-4049(81)90018-9

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

Y. Guiraud and P. Malbos, Coherence in monoidal track categories, Mathematical Structures in Computer Science, vol.26, issue.06, pp.931-969, 2012.
DOI : 10.1090/S0002-9904-1965-11234-4
URL : https://hal.archives-ouvertes.fr/hal-00470795

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

Y. Guiraud and P. Malbos, Polygraphs of finite derivation type, Mathematical Structures in Computer Science, vol.5, pp.1-47, 2016.
DOI : 10.1017/S096012951100065X
URL : https://hal.archives-ouvertes.fr/hal-00932845

M. Lucas, Cubical (omega, p)-categories. arXiv preprint, 2016.

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

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

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

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