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