A. Birštunas ir E. Reivytytė, „Loginio išvedimo paieška su prielaidų atsekamumu“, LMR, t. 62, nr. A, p. 16–22, gruodž. 2021, doi: 10.15388/LMR.2021.25215.