Termination of rewriting under strategies

Isabelle Gnaedig, Hélène Kirchner. Termination of rewriting under strategies. ACM Trans. Comput. Log., 10(2), 2009. [doi]

Abstract

Abstract is missing.