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