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 2026 m.sausio1 d.];41(spec.):413–420. Adresas: https://www.zurnalai.vu.lt/LMR/article/view/34623