L
[LS95] François Laroussinie et Philippe Schnoebelen. A Hierarchy of Temporal Logics with Past. Theoretical Computer Science 148(2):303-324. Elsevier, septembre 1995. 
@article{tcs148(2)-LS,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe},
  title =               {A Hierarchy of Temporal Logics with Past},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {148},
  number =              {2},
  pages =               {303-324},
  year =                {1995},
  month =               sep,
}
Liste des auteurs