Birštunas A. ir Reivytytė E. (2021) „Loginio išvedimo paieška su prielaidų atsekamumu“, Lietuvos matematikos rinkinys, 62(A), p. 16-22. doi: 10.15388/LMR.2021.25215.