L
[LS00] François Laroussinie and Philippe Schnoebelen. Specification in CTL+Past for Verification in CTL. Information and Computation 156(1-2):236-263. Academic Press, January 2000. 
@article{icomp156(1-2)-LS,
  author =              {Laroussinie, Fran{\c c}ois and Schnoebelen, {\relax
                         Ph}ilippe},
  title =               {Specification in {CTL}+{P}ast for Verification in
                         {CTL}},
  publisher =           {Academic Press},
  journal =             {Information and Computation},
  volume =              {156},
  number =              {1-2},
  pages =               {236-263},
  year =                {2000},
  month =               jan,
}
List of authors