Temporal logic programs with variables | Publicación