Pliuškevičienė A. Išsprendžiamoji procedūra dinaminės logikos fragmentui. LMR [Prieiga per internetą]. 2001 m.gruodžio17 d. [žiūrėta 2025 m.lapkričio3 d.];41(spec.):413–420. Adresas: https://test.zurnalai.vu.lt/LMR/article/view/34623