@article{MoellerHoefnerStruth2006,
  author    = {Bernhard M{\"o}ller and Peter H{\"o}fner and Georg Struth},
  title     = {Quantales and temporal logics},
  journal   = {Lecture Notes in Computer Science},
  volume    = {4019},
  pages     = {263 -- 277},
  doi       = {10.1007/11784180_21},
  year      = {2006},
}