Termination orders for 3-polygraphs

Yves Guiraud

Comptes Rendus. Mathématique, Volume 342 (2006) no. 4 p. 219-222