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://www.zurnalai.vu.lt/LMR/article/view/29752. Acesso em: 12 nov. 2025.