R. . Alonderis, “Efektyvesnė laiko logikos sekvencijų įrodymo paieška”, LMR, vol. 63, no. A, pp. 1–8, Dec. 2022, doi: 10.15388/LMR.2022.29752.