[1]
Birštunas A. and Reivytytė E., “Logical derivation search with assumption traceability”, LMR, vol. 62, no. A, pp. 16-22, Dec. 2021.