TY  - RPRT
TI  - Termination of rewriting strategies: a generic approach
AU  - Isabelle Gnaedig
AU  - Helene Kirchner
PY  - 2005
UR  - https://arxiv.org/abs/cs/0507064
ID  - cs/0507064
ER  -