Bournez Olivier, Garnier Florent. Proving Positive Almost Sure Termination Under Strategies.
17th International Conference on Rewriting Techniques and Applications - RTA'2006, Aug 2006, Seattle, WA/USA, pp.357--371,
⟨10.1007/11805618⟩.
⟨inria-00102945⟩