Birštunas A., and Reivytytė E. “Logical Derivation Search With Assumption Traceability”. Lietuvos Matematikos Rinkinys, Vol. 62, no. A, Dec. 2021, pp. 16-22, doi:10.15388/LMR.2021.25215.