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