Bir┼ítunas A.; Reivytyt─Ś E. Logical derivation search with assumption traceability. Lietuvos matematikos rinkinys, v. 62, n. A, p. 16-22, 15 Dec. 2021.