Termination orders for 3-polygraphs
<|reference_start|>Termination orders for 3-polygraphs: This note presents the first known class of termination orders for 3-polygraphs, together with an application.<|reference_end|>
@article{guiraud2006termination,
    title={Termination orders for 3-polygraphs},
    author={Yves Guiraud},
    journal={Comptes-Rendus de l'Academie des Sciences Serie I, Volume 342,
  Issue 4, 15 February 2006, Pages 219-222},
    year={2006},
    doi={10.1016/j.crma.2005.12.019},
    archivePrefix={arXiv},
    eprint={math/0612084},
    primaryClass={math.CT cs.LO}
}