[1]
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.