S
[Sla05] John K. Slaney. Semipositive LTL with an Uninterpreted Past Operator. Logic Journal of the IGPL 13(2):211-229. Oxford University Press, March 2005. 
@article{jigpl13(2)-Sla,
  author =              {Slaney, John K.},
  title =               {Semipositive {LTL} with an Uninterpreted Past
                         Operator},
  publisher =           {Oxford University Press},
  journal =             {Logic Journal of the IGPL},
  volume =              {13},
  number =              {2},
  pages =               {211-229},
  year =                {2005},
  month =               mar,
}
List of authors