Alonderis, R. (2022) “More efficient proof-search for sequents of temporal logic”, Lietuvos matematikos rinkinys, 63(A), pp. 1–8. doi:10.15388/LMR.2022.29752.