Bernhard Möller, Georg Struth: Greedy-Like Algorithms in Modal Kleene Algebra. RelMiCS 2003: 202-215