Termination in modal Kleene algebra (Inst. für Informatik, 2004)