Alonderis, Romas, and Haroldas Giedra. 2019. “A Derivation-Loop Method for Temporal Logic”. Lietuvos Matematikos Rinkinys 60 (A), 1-6. https://doi.org/10.15388/LMR.A.2019.14953.