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