Rybakov V. Discrete linear temporal logic with current time point clusters, deciding algorithms. LLP [Internet]. 2008 Jun. 19 [cited 2024 Jul. 18];17(1-2):143-61. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2008.009