RYBAKOV, V. Discrete linear temporal logic with current time point clusters, deciding algorithms. Logic and Logical Philosophy, [S. l.], v. 17, n. 1-2, p. 143–161, 2008. DOI: 10.12775/LLP.2008.009. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2008.009. Acesso em: 18 jul. 2024.