Birštunas, A. and Reivytytė, E. 2021. Logical derivation search with assumption traceability. Lietuvos matematikos rinkinys. 62, A (Dec. 2021), 16–22. DOI:https://doi.org/10.15388/LMR.2021.25215.