(1)
Bir┼ítunas A.; Reivytyt─Ś E. Logical Derivation Search With Assumption Traceability. LMR 2021, 62, 16-22.