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: 17 aug. 2024.