ALONDERIS, R. Efektyvesnė laiko logikos sekvencijų įrodymo paieška. Lietuvos matematikos rinkinys, v. 63, n. A, p. 1–8, 10 gruodž.2022.