Alonderis, R. . (2022). Efektyvesnė laiko logikos sekvencijų įrodymo paieška. Lietuvos Matematikos Rinkinys, 63(A), 1–8. https://doi.org/10.15388/LMR.2022.29752