@InProceedings{Dax_Klaedtke_Lange:regular_logics_past,
  author =       {Christian Dax and Felix Klaedtke and Martin Lange},
  title =        {On Regular Temporal Logics with Past},
  booktitle =    {Proceedings of the 36th International Colloquium
                  on Automata, Languages, and Programming (ICALP'09)},
  pages =        {175--187},
  year =         {2009},
  volume =       {5556},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}