C. Alleaume, Rewriting in higher dimensional linear categories and application to the affine oriented Brauer category, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01281219

C. Alleaume, Higher-dimensional linear rewriting and coherence in categorification and representation theory, 2018.
URL : https://hal.archives-ouvertes.fr/tel-01896102

C. Alleaume and P. Malbos, Coherence of string rewriting systems by decreasingness, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01676936

R. Brauer, On algebras which are connected with the semisimple continuous groups, Annals of Mathematics, vol.38, issue.4, pp.857-872, 1937.

J. Brundan, On the definition of heisenberg category, Algebraic Combinatorics, vol.1, issue.4, pp.523-544, 2018.

A. Burroni, Higher-dimensional word problems with applications to equational logic, 4th Summer Conference on Category Theory and Computer Science, vol.115, pp.43-62, 1991.

S. Cautis, J. Kamnitzer, and S. Morrison, Webs and quantum skew howe duality, Mathematische Annalen, vol.360, issue.1, pp.351-390, 2014.

J. , R. B. Cockett, J. Koslowski, and R. A. Seely, Introduction to linear bicategories, The Lambek Festschrift: mathematical structures in computer science, vol.10, pp.165-203, 1997.

N. Dershowitz, Termination of rewriting, J. Symb. Comput, vol.3, issue.1-2, pp.69-115, 1987.

N. Dershowitz and Z. Manna, Proving termination with multiset orderings, Automata, languages and programming, vol.71, pp.188-202, 1979.

B. Dupont and P. Malbos, Coherent confluence modulo relations and double groupoids, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01898868

B. Dupont and P. Malbos, Algebraic polygraphs modulo and linear rewriting. in preparation, 2019.

B. Elias, Light ladders and clasp conjectures, 2015.

Y. Guiraud, Termination orders for three-dimensional rewriting, J. Pure Appl. Algebra, vol.207, issue.2, pp.341-371, 2006.

Y. Guiraud, E. Hoffbeck, and P. Malbos, Convergent presentations and polygraphic resolutions of associative algebras, 2019.
URL : https://hal.archives-ouvertes.fr/hal-01006220

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

Y. Guiraud and P. Malbos, Higher-dimensional normalisation strategies for acyclicity, Adv. Math, vol.231, issue.3-4, pp.2294-2351, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00531242

Y. Guiraud and P. Malbos, Polygraphs of finite derivation type, Math. Structures Comput. Sci, vol.28, issue.2, pp.155-201, 2018.
URL : https://hal.archives-ouvertes.fr/hal-00932845

G. Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J. Assoc. Comput. Mach, vol.27, issue.4, pp.797-821, 1980.

J. Brunda, J. Comes, D. Nash, and A. Reynolds, A basis theorem for the affine oriented Brauer category and its cyclotomic quotients, 2014.

V. F. Jones, Planar algebras, I, 1999.

J. and H. Kirchner, Completion of a set of rules modulo a set of equations, Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '84, pp.83-92, 1984.

M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups I, 2008.

M. Khovanov and A. D. Lauda, A diagrammatic approach to categorification of quantum groups III, 2008.

M. Khovanov, Heisenberg algebra and a graphical calculus, Fundamenta Mathematicae, vol.225, issue.0, pp.169-210, 2014.

Y. Lafont, Towards an algebraic theory of boolean circuits, Journal of Pure and Applied Algebra, vol.184, issue.2, pp.257-310, 2003.

D. Lankford, On proving term rewriting systems are noetherian, 1979.

A. D. Lauda, An introduction to diagrammatic algebra and categorified quantum sl(2), Bull. Inst. Math. Acad. Sin. (N.S.), vol.7, issue.2, pp.165-270, 2012.

R. Rouquier, , 2008.

J. S. Birman and H. Wenzl, Braids, link polynomials and a new algebra, vol.313, pp.249-249, 1989.

A. Savage, String diagrams and categorification, 2018.

R. Street, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra, vol.8, issue.2, pp.149-181, 1976.

R. Street, The algebra of oriented simplexes, J. Pure Appl. Algebra, vol.49, issue.3, pp.283-335, 1987.

H. N. Temperley and E. H. Lieb, Relations between the 'percolation' and 'colouring' problem and other graph-theoretical problems associated with regular planar lattices: Some exact results for the 'percolation' problem, Proceedings of the Royal Society of London. Series A, vol.322, pp.251-280, 1549.

. Vincent-van-oostrom, Confluence by decreasing diagrams, Theor. Comput. Sci, vol.126, issue.2, pp.259-280, 1994.