Alonderis, Romas. „Efektyvesnė Laiko Logikos Sekvencijų įrodymo paieška“. Lietuvos Matematikos Rinkinys, t. 63, nr. A, 2022 m.gruodžio, p. 1–8, https://doi.org/10.15388/LMR.2022.29752.