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