R. Pliuškevičius, „Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais“, LMR, t. 42, nr. spec., p. 481–489, gruodž. 2002, doi: 10.15388/LMR.2002.32981.