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