Alonderis, R. . Efektyvesnė Laiko Logikos Sekvencijų įrodymo paieška. LMR 2022, 63 (A), 1–8. https://doi.org/10.15388/LMR.2022.29752.