Distributed Termination on a Ring. - Heikki Saikkonen; Stefan Rönn (BIT, 1986)

Distributed Termination Detection with Counters. - Stefan Rönn; Heikki Saikkonen (Inf. Process. Lett., 1990)

On the Logarithmic Evaluation of Recurrence Relations. - Stefan Rönn (Inf. Process. Lett., 1991)

Invariants and Closures in the Theory of Rewrite Systems. - Stefan Rönn (Formal Aspects Comput., 1996)