[1]
Alonderis R. and Giedra H., “A derivation-loop method for temporal logic”, LMR, vol. 60, no. A, pp. 1-6, Nov. 2019.