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.journals.vu.lt/LMR/article/view/29752.. Acesso em: 6 may. 2024.