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.