Regular Linear Temporal Logic with Past | Publicación