[1]
Bir┼ítunas A. and Reivytyt─Ś E. 2021. Logical derivation search with assumption traceability. Lietuvos matematikos rinkinys. 62, A (Dec. 2021), 16-22. DOI:https://doi.org/10.15388/LMR.2021.25215.