@article{DesharnaisMoeller2017,
  author    = {Jules Desharnais and Bernhard M{\"o}ller},
  title     = {Non-associative Kleene algebra and temporal logics},
  journal   = {Lecture Notes in Computer Science},
  volume    = {10226},
  pages     = {93 -- 108},
  doi       = {10.1007/978-3-319-57418-9_6},
  year      = {2017},
}