Alonderis, R.; Giedra, H. A Derivation-Loop Method for Temporal Logic. LMR 2019, 60 (A), 1-6. https://doi.org/10.15388/LMR.A.2019.14953.