Alonderis, Romas. “Efektyvesnė Laiko Logikos Sekvencijų įrodymo paieška”. Lietuvos Matematikos Rinkinys, vol. 63, no. A, Dec. 2022, pp. 1–8, https://doi.org/10.15388/LMR.2022.29752.