A. Birštunas and E. Reivytytė, “Loginio išvedimo paieška su prielaidų atsekamumu”, LMR, vol. 62, no. A, pp. 16–22, Dec. 2021, doi: 10.15388/LMR.2021.25215.