BIRŠTUNAS, Adomas; REIVYTYTĖ, Elena. Loginio išvedimo paieška su prielaidų atsekamumu. Lietuvos matematikos rinkinys, [S. l.], v. 62, n. A, p. 16–22, 2021. DOI: 10.15388/LMR.2021.25215. Disponível em: https://www.zurnalai.vu.lt/LMR/article/view/25215. Acesso em: 3 jul. 2025.