A. Birštunas and E. Reivytytė, “Logical derivation search with assumption traceability”, LMR, vol. 62, no. A, pp. 16–22, Dec. 2021, doi: 10.15388/LMR.2021.25215.