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.