Birštunas, Adomas, and Elena Reivytytė. “Loginio išvedimo paieška Su Prielaidų Atsekamumu”. Lietuvos Matematikos Rinkinys, vol. 62, no. A, Dec. 2021, pp. 16-22, https://doi.org/10.15388/LMR.2021.25215.