Temporal reasoning over linear discrete time | Publicación