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