Ultimately-periodic Interval Model Checking for Temporal Dataset Evaluation | Publicación