@article{MoellerStruth2019,
  author    = {Bernhard M{\"o}ller and Georg Struth},
  title     = {Greedy-like algorithms in modal Kleene algebra},
  journal   = {Lecture Notes in Computer Science},
  volume    = {3051},
  pages     = {202 -- 214},
  doi       = {10.1007/978-3-540-24771-5_18},
  year      = {2019},
}