Birštunas A.; Reivytytė E. Loginio išvedimo paieška su prielaidų atsekamumu. Lietuvos matematikos rinkinys, v. 62, n. A, p. 16-22, 15 gruodž. 2021.