Rybakov, V. “Discrete Linear Temporal Logic With Current Time Point Clusters, Deciding Algorithms”. Logic and Logical Philosophy, vol. 17, no. 1-2, June 2008, pp. 143-61, doi:10.12775/LLP.2008.009.