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