R. . Alonderis, „Efektyvesnė laiko logikos sekvencijų įrodymo paieška“, LMR, t. 63, nr. A, p. 1–8, gruodž. 2022, doi: 10.15388/LMR.2022.29752.