R. Alonderis and H. Giedra, “A derivation-loop method for temporal logic”, LMR, vol. 60, no. A, pp. 1–6, Nov. 2019, doi: 10.15388/LMR.A.2019.14953.