Birštunas A, Reivytytė E. Loginio išvedimo paieška su prielaidų atsekamumu. LMR [Prieiga per internetą]. 2021 m.gruodžio15 d. [žiūrėta 2025 m.spalio28 d.];62(A):16-22. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/25215