BIRŠTUNAS, Adomas; REIVYTYTĖ, Elena. Logical derivation search with assumption traceability. Lietuvos matematikos rinkinys, [S. l.], v. 62, n. A, p. 16–22, 2021. DOI: 10.15388/LMR.2021.25215. Disponível em: https://journals.vu.lt./LMR/article/view/25215.. Acesso em: 21 nov. 2024.