Alonderis, R. and Giedra, H. 2019. A derivation-loop method for temporal logic. Lietuvos matematikos rinkinys. 60, A (Nov. 2019), 1–6. DOI:https://doi.org/10.15388/LMR.A.2019.14953.