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.