On regular temporal logics with past
scientific article; zbMATH DE number 5723608
scientific article