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://www.journals.vu.lt/LMR/article/view/25215.. Acesso em: 27 sep. 2024.