TY  - JOUR
AU  - Yves Guiraud
TI  - Termination orders for 3-polygraphs
JO  - Comptes Rendus. Mathématique
PY  - 2006
SP  - 219
EP  - 222
VL  - 342
IS  - 4
PB  - Elsevier
DO  - 10.1016/j.crma.2005.12.019
LA  - en
ID  - CRMATH_2006__342_4_219_0
ER  -