[1]
Birštunas A. ir Reivytytė E., „Loginio išvedimo paieška su prielaidų atsekamumu“, LMR, t. 62, nr. A, p. 16-22, gruodž. 2021.