RYBAKOV, V. Discrete linear temporal logic with current time point clusters, deciding algorithms. Logic and Logical Philosophy. Online. 19 June 2008. Vol. 17, no. 1-2, pp. 143-161. [Accessed 18 July 2024]. DOI 10.12775/LLP.2008.009.