L
[LS94] François Laroussinie et Philippe Schnoebelen. A Hierarchy of Temporal Logics with Past. In STACS'94, Lecture Notes in Computer Science 775, pages 47-58. Springer-Verlag, février 1994. 
@inproceedings{stacs1994-LS,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe},
  title =               {A Hierarchy of Temporal Logics with Past},
  editor =              {Enjalbert, Patrice and Mayr, Ernst W. and Wagner,
                         Klaus W.},
  booktitle =           {{P}roceedings of the 11th {S}ymposium on
                         {T}heoretical {A}spects of {C}omputer {S}cience
                         ({STACS}'94)},
  acronym =             {{STACS}'94},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {775},
  pages =               {47-58},
  year =                {1994},
  month =               feb,
}
Liste des auteurs