Pliuškevičius R. Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais. LMR [Prieiga per internetą]. 2002 m.gruodžio20 d. [žiūrėta 2025 m.gruodžio5 d.];42(spec.):481–489. Adresas: https://www.journals.vu.lt/LMR/article/view/32981