Birštunas A., ir Reivytytė E. „Loginio išvedimo paieška Su Prielaidų Atsekamumu“. Lietuvos Matematikos Rinkinys, T. 62, nr. A, 2021 m.gruodžio, p. 16-22, doi:10.15388/LMR.2021.25215.