Pliuškevičius R. Beciklis įrodymų baigtinumo tikrinimas dinaminės logikos fragmentui. LMR [Prieiga per internetą]. 2008 m.gruodžio21 d. [žiūrėta 2025 m.lapkričio6 d.];48(proc. LMS):283–287. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/18111