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