Rybakov, V. Discrete Linear Temporal Logic With Current Time Point Clusters, Deciding Algorithms. LLP 2008, 17, 143-161.