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