Georg Struth: Calculating Church-Rosser Proofs in Kleene Algebra. RelMiCS 2001: 276-290