1.
Bir┼ítunas A, Reivytyt─Ś E. Logical derivation search with assumption traceability. LMR [Internet]. 2021Dec.15 [cited 2022Dec.7];62(A):16-2. Available from: https://www.journals.vu.lt/LMR/article/view/25215