L
[LN00] Salvatore La Torre and Margherita Napoli. A Decidable Dense Branching-time Temporal Logic. In FSTTCS'00, Lecture Notes in Computer Science 1974, pages 139-150. Springer-Verlag, December 2000. 
@inproceedings{fsttcs2000-LN,
  author =              {La{~}Torre, Salvatore and Napoli, Margherita},
  title =               {A Decidable Dense Branching-time Temporal Logic},
  editor =              {Kapoor, Sanjiv and Prasad, Sanjiva},
  booktitle =           {{P}roceedings of the 20th {C}onference on
                         {F}oundations of {S}oftware {T}echnology and
                         {T}heoretical {C}omputer {S}cience ({FSTTCS}'00)},
  acronym =             {{FSTTCS}'00},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1974},
  pages =               {139-150},
  year =                {2000},
  month =               dec,
}
List of authors