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