@Article{ dax.ea:on:2010, author = {Christian Dax and Felix Klaedtke and Martin Lange}, copyright = {Springer}, journal = {Acta Informatica}, language = {USenglish}, number = 4, pages = {251--277}, title = {On Regular Temporal Logics with Past}, volume = 47, year = 2010, user = {felixkl} }