Birštunas, A.; Reivytytė, E. Loginio išvedimo paieška Su Prielaidų Atsekamumu. LMR 2021, 62 (A), 16-22. https://doi.org/10.15388/LMR.2021.25215.