ALONDERIS, Romas. Efektyvesnė laiko logikos sekvencijų įrodymo paieška. 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: 10 may. 2024.