Loop Formulas for Splitable Temporal Logic Programs | Publicación