@techreport{gnaedig:inria-00000178, TITLE = {{Termination of rewriting strategies: a generic approach}}, AUTHOR = {Gnaedig, Isabelle and Kirchner, H{\'e}l{\`e}ne}, URL = {https://inria.hal.science/inria-00000178}, TYPE = {Research Report}, PAGES = {49}, YEAR = {2005}, KEYWORDS = {termination proof ; rewrite system ; rewriting strategy ; induction ; narrowing ; abstraction ; innermost strategy ; outermost strategy ; local strategy}, HAL_ID = {inria-00000178}, HAL_VERSION = {v1}, }