[DDG07] Stéphane Demri, Deepak D'Souza, and Régis Gascon. Decidable Temporal Logic with Repeating Values. In LFCS'07, Lecture Notes in Computer Science 4514, pages 180-194. Springer-Verlag, June 2007.
  author =              {Demri, St{\'e}phane and D'Souza, Deepak and Gascon,
  title =               {Decidable Temporal Logic with Repeating Values},
  editor =              {Artemov, Sergei N. and Nerode, Anil},
  booktitle =           {{P}roceedings of the {I}nternational {S}ymposium
                         {L}ogical {F}oundations of {C}omputer {S}cience
  acronym =             {{LFCS}'07},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {4514},
  pages =               {180-194},
  year =                {2007},
  month =               jun,
List of authors