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