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.