PLIUŠKEVIČIUS, R. Išsprendžiamoji procedūra kvantorinės tiesinio laiko logikos fragmentui su pusiau-periodiniais branduoliais. Lietuvos matematikos rinkinys, v. 42, n. spec., p. 481–489, 20 gruodž.2002.