Past-Present Temporal Programs over Finite Traces | Publicación