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