TY  - RPRT
TI  - Polygraphs for termination of left-linear term rewriting systems
AU  - Yves Guiraud
PY  - 2007
UR  - https://arxiv.org/abs/cs/0702040
ID  - cs/0702040
ER  -