Rybakov, V. 2008. Discrete linear temporal logic with current time point clusters, deciding algorithms. Logic and Logical Philosophy. 17, 1-2 (Jun. 2008), 143–161. DOI:https://doi.org/10.12775/LLP.2008.009.