1.
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 2022 m.spalio4 d.];62(A):16-2. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/25215