Termination orders for 3-polygraphs

Guiraud, Yves

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