Alonderis R., and Giedra H. “A Derivation-Loop Method for Temporal Logic”. Lietuvos Matematikos Rinkinys, Vol. 60, no. A, Nov. 2019, pp. 1-6, doi:10.15388/LMR.A.2019.14953.