Termination of Rewriting with Local Strategies. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (STRATEGIES@IJCAR, 2001)

System Presentation – CARIBOO: An induction based proof tool for termination with strategies. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (PPDP, 2002)

Outermost ground termination. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (WRLA, 2002)

Simplification and termination of strategies in rule-based languages. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (PPDP, 2003)

Terminaison de la réécriture sous stratégies. - Olivier Fissore (2003)

A Proof of Weak Termination Providing the Right Way to Terminate. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (ICTAC, 2004)