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