"Proving Positive Almost Sure Termination Under Strategies."

Olivier Bournez, Florent Garnier (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics