ALONDERIS, Romas. More efficient proof-search for sequents of temporal logic. Lietuvos matematikos rinkinys, [S. l.], v. 63, n. A, p. 1–8, 2022. DOI: 10.15388/LMR.2022.29752. Disponível em: https://test.zurnalai.vu.lt/LMR/article/view/29752. Acesso em: 27 oct. 2025.