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.