Pliuškevičienė A. Išsprendžiamoji procedūra kvantorinės skaidaus laiko logikos fragmentui. LMR [Prieiga per internetą]. 2002 m.gruodžio20 d. [žiūrėta 2026 m.vasario2 d.];42(spec.):476–480. Adresas: https://www.journals.vu.lt/LMR/article/view/32980